private void buildSingleApplicationPanel() {
if (frame != null) {
frame.clear();
frame.add((Widget) getEuclidianViewpanel());
// we need to make sure trace works after this, see #4373 or #4236
this.getEuclidianView1().createImage();
((DockPanelW) getEuclidianViewpanel()).setVisible(true);
((DockPanelW) getEuclidianViewpanel())
.setEmbeddedSize(getSettings().getEuclidian(1).getPreferredSize().getWidth());
((DockPanelW) getEuclidianViewpanel()).updatePanel(false);
getEuclidianViewpanel()
.setPixelSize(
getSettings().getEuclidian(1).getPreferredSize().getWidth(),
getSettings().getEuclidian(1).getPreferredSize().getHeight());
// FIXME: temporary hack until it is found what causes
// the 1px difference
// getEuclidianViewpanel().getAbsolutePanel().getElement().getStyle().setLeft(1,
// Style.Unit.PX);
// getEuclidianViewpanel().getAbsolutePanel().getElement().getStyle().setTop(1,
// Style.Unit.PX);
getEuclidianViewpanel()
.getAbsolutePanel()
.getElement()
.getStyle()
.setBottom(-1, Style.Unit.PX);
getEuclidianViewpanel()
.getAbsolutePanel()
.getElement()
.getStyle()
.setRight(-1, Style.Unit.PX);
oldSplitLayoutPanel = null;
}
}
/** Attach algebra input */
public void attachAlgebraInput() {
// inputbar's width varies,
// so it's probably good to regenerate every time
GGWCommandLine inputbar = new GGWCommandLine();
inputbar.attachApp(this);
frame.add(inputbar);
this.getGuiManager().getAlgebraInput().setInputFieldWidth(this.appletWidth);
}
private void attachSplitLayoutPanel() {
boolean oldSLPanelChanged = oldSplitLayoutPanel == getSplitLayoutPanel() ? false : true;
oldSplitLayoutPanel = getSplitLayoutPanel();
if (oldSplitLayoutPanel != null) {
if (getArticleElement().getDataParamShowMenuBar(false)) {
this.splitPanelWrapper = new HorizontalPanel();
// TODO
splitPanelWrapper.add(oldSplitLayoutPanel);
if (this.menuShowing) {
splitPanelWrapper.add(frame.getMenuBar(this));
}
frame.add(splitPanelWrapper);
} else {
frame.add(oldSplitLayoutPanel);
}
Browser.removeDefaultContextMenu(getSplitLayoutPanel().getElement());
if (has(Feature.FIX_KEYBOARD_POSITION) && !oldSLPanelChanged) {
return;
}
ClickStartHandler.init(
oldSplitLayoutPanel,
new ClickStartHandler() {
@Override
public void onClickStart(int x, int y, final PointerEventType type) {
updateAVStylebar();
if (!CancelEventTimer.cancelKeyboardHide()) {
Timer timer =
new Timer() {
@Override
public void run() {
getAppletFrame().keyBoardNeeded(false, null);
}
};
timer.schedule(0);
}
}
});
}
}