private void resize() { contentPanel.setWidth(Window.getClientWidth() * 0.90 + "px"); contentPanel.setHeight(Window.getClientHeight() * 0.90 + "px"); contentPanel.getElement().getStyle().setProperty("overflow", "auto"); } }
@Override public void setDisplayerHeight(int h) { displayerPanel.setHeight((h + 25) + "px"); }
@Override public void setHeight(int height) { super.setHeight(height + "px"); mainPanel.setHeight(height + "px"); listBox.setWidth(height + "px"); }
@Override public void setHeight(int height) { super.setHeight(height + "px"); mainPanel.setHeight(height + "px"); listBox.setWidth(height + "px"); }
/** * Getter for property 'scrollPanel'. * * @return Value for property 'scrollPanel'. */ protected Panel getScrollPanel() { if (scrollPanel == null) { scrollPanel = new RowsScrollPanel(); scrollPanel.setHeight(getOffsetHeight() + "px"); ((ScrollPanel) scrollPanel).setAlwaysShowScrollBars(false); } return scrollPanel; }
private void resize() { contentPanel.setWidth(Window.getClientWidth() * 0.90 + "px"); contentPanel.setHeight(Window.getClientHeight() * 0.90 + "px"); contentPanel.getElement().getStyle().setProperty("overflow", "auto"); } }
@Override public void setTeXIcon(TeXIcon icon) { this.lastIcon = icon; double height = computeHeight(icon); if (ctx == null || height < 0) { return; } ctx.getCanvas().getStyle().setHeight(height, Unit.PX); ctx.getCanvas().getStyle().setWidth(roundUp(icon.getIconWidth() + 30), Unit.PX); parent.setHeight(height + "px"); parent.getElement().getStyle().setVerticalAlign(VerticalAlign.TOP); repaintWeb(); }
scrollPanel.setHeight(height); scrollPanel.setWidth(width); } else if (!enabled && isScrollable()) {