private void startResizingFrom(int x, int y) { isResizing = true; onSplitterResizeStarted(x, y); // Resize glassElem to take up the entire scrollable window area int height = RootPanel.getBodyElement().getScrollHeight() - 1; int width = RootPanel.getBodyElement().getScrollWidth() - 1; glassElem.getStyle().setProperty("height", height + "px"); glassElem.getStyle().setProperty("width", width + "px"); RootPanel.getBodyElement().appendChild(glassElem); }
/** * Returns whether the element is scrollable on the x-axis. * * @return true if scrollable on the x-axis */ public boolean isScrollableX() { return dom.getScrollWidth() > dom.getClientWidth(); }
@Override public int getTableWidth(FixedWidthFlexTable table, boolean includeSpacer) { return table.getElement().getScrollWidth(); }
/** * Returns the width of a table, minus any padding, in pixels. * * @param table the table * @param includeSpacer true to include the spacer width * @return the width */ public int getTableWidth(FixedWidthFlexTable table, boolean includeSpacer) { int scrollWidth = table.getElement().getScrollWidth(); if (!includeSpacer) { int spacerWidth = getSpacerWidth(table); if (spacerWidth > 0) { scrollWidth -= spacerWidth; } } return scrollWidth; }
protected boolean isHorizontalScrollbarVisible() { int tableScrollWidth = this.getTableBodyElement().getScrollWidth(); return tableScrollWidth != this.getElement().getScrollWidth() && tableScrollWidth != 0; }
/** * Construct a new {@link TableWidthInfo}. * * @param includeSpacer true to include spacer in calculations */ public TableWidthInfo(boolean includeSpacer) { availableWidth = getAvailableWidth(); headerTableWidth = impl.getTableWidth(headerTable, includeSpacer); dataTableWidth = dataTable.getElement().getScrollWidth(); if (footerTable != null) { footerTableWidth = impl.getTableWidth(footerTable, includeSpacer); } } }
private Panel scrollPanel() { final Panel panel = mock(AbsolutePanel.class); final Element element = mock(Element.class); doReturn(SCROLL_LEFT).when(element).getScrollLeft(); doReturn(SCROLL_TOP).when(element).getScrollTop(); doReturn(SCROLL_WIDTH).when(element).getScrollWidth(); doReturn(SCROLL_HEIGHT).when(element).getScrollHeight(); doReturn(CLIENT_WIDTH).when(element).getClientWidth(); doReturn(CLIENT_HEIGHT).when(element).getClientHeight(); doReturn(element).when(panel).getElement(); return panel; }
private Panel scrollPanel() { final Panel panel = mock(AbsolutePanel.class); final Element element = mock(Element.class); doReturn(SCROLL_LEFT).when(element).getScrollLeft(); doReturn(SCROLL_TOP).when(element).getScrollTop(); doReturn(SCROLL_WIDTH).when(element).getScrollWidth(); doReturn(SCROLL_HEIGHT).when(element).getScrollHeight(); doReturn(CLIENT_WIDTH).when(element).getClientWidth(); doReturn(CLIENT_HEIGHT).when(element).getClientHeight(); doReturn(element).when(panel).getElement(); return panel; }
private Panel emptyPanel() { final Panel panel = mock(AbsolutePanel.class); final Element element = mock(Element.class); doReturn(0).when(element).getScrollLeft(); doReturn(0).when(element).getScrollTop(); doReturn(0).when(element).getScrollWidth(); doReturn(0).when(element).getScrollHeight(); doReturn(0).when(element).getClientWidth(); doReturn(0).when(element).getClientHeight(); doReturn(element).when(panel).getElement(); return panel; } }
private Panel emptyPanel() { final Panel panel = mock(AbsolutePanel.class); final Element element = mock(Element.class); doReturn(0).when(element).getScrollLeft(); doReturn(0).when(element).getScrollTop(); doReturn(0).when(element).getScrollWidth(); doReturn(0).when(element).getScrollHeight(); doReturn(0).when(element).getClientWidth(); doReturn(0).when(element).getClientHeight(); doReturn(element).when(panel).getElement(); return panel; } }
void setHorizontalScrollPosition(final Double percentage) { final Integer scrollWidth = scrollPanel().getElement().getScrollWidth(); final Integer clientWidth = scrollPanel().getElement().getClientWidth(); final Integer max = scrollWidth - clientWidth; setScrollLeft((int) ((max * percentage) / 100)); }
void setHorizontalScrollPosition(final Double percentage) { final Integer scrollWidth = scrollPanel().getElement().getScrollWidth(); final Integer clientWidth = scrollPanel().getElement().getClientWidth(); final Integer max = scrollWidth - clientWidth; setScrollLeft((int) ((max * percentage) / 100)); }
Double getHorizontalScrollPosition() { final Integer scrollLeft = scrollPanel().getElement().getScrollLeft(); final Integer scrollWidth = scrollPanel().getElement().getScrollWidth(); final Integer clientWidth = scrollPanel().getElement().getClientWidth(); final Integer level = scrollWidth - clientWidth; return level == 0 ? 0d : 100d * scrollLeft / level; }
Double getHorizontalScrollPosition() { final Integer scrollLeft = scrollPanel().getElement().getScrollLeft(); final Integer scrollWidth = scrollPanel().getElement().getScrollWidth(); final Integer clientWidth = scrollPanel().getElement().getClientWidth(); final Integer level = scrollWidth - clientWidth; return level == 0 ? 0d : 100d * scrollLeft / level; }
@Override public void execute() { // try to fit to the content size int maxWidth = Window.getClientWidth() - 20; // 20 pixels of // margin int w = Math.max( ResizablePanelBad.this.getOffsetWidth(), Math.max( contentWidget.getElement().getScrollWidth(), contentWidget.getElement().getOffsetWidth() ) ) + resizeHandlerSize * 2; if( w > maxWidth ) w = maxWidth; int maxHeight = Window.getClientHeight() - 20; int h = Math.max( ResizablePanelBad.this.getOffsetHeight(), Math.max( contentWidget.getElement().getScrollHeight(), contentWidget.getElement().getOffsetHeight() ) ) + resizeHandlerSize * 2 + titleSize; if( h > maxHeight ) h = maxHeight; PositionAndSize posSize = new PositionAndSize( (Window.getClientWidth() - w) / 2, (Window.getClientHeight() - h) / 2, w, h ); posSize.limit(); RootLayoutPanel.get().setWidgetLeftWidth( ResizablePanelBad.this, posSize.left, Unit.PX, posSize.width, Unit.PX ); RootLayoutPanel.get().setWidgetTopHeight( ResizablePanelBad.this, posSize.top, Unit.PX, posSize.height, Unit.PX ); RootLayoutPanel.get().animate( 300 ); } } );
@Override public void execute() { // try to fit to the content size int maxWidth = Window.getClientWidth() - 20; // 20 pixels of // margin int w = Math.max( ResizablePanelBad.this.getOffsetWidth(), Math.max( contentWidget.getElement().getScrollWidth(), contentWidget.getElement().getOffsetWidth() ) ) + resizeHandlerSize * 2; if( w > maxWidth ) w = maxWidth; int maxHeight = Window.getClientHeight() - 20; int h = Math.max( ResizablePanelBad.this.getOffsetHeight(), Math.max( contentWidget.getElement().getScrollHeight(), contentWidget.getElement().getOffsetHeight() ) ) + resizeHandlerSize * 2 + titleSize; if( h > maxHeight ) h = maxHeight; PositionAndSize posSize = new PositionAndSize( (Window.getClientWidth() - w) / 2, (Window.getClientHeight() - h) / 2, w, h ); posSize.limit(); RootLayoutPanel.get().setWidgetLeftWidth( ResizablePanelBad.this, posSize.left, Unit.PX, posSize.width, Unit.PX ); RootLayoutPanel.get().setWidgetTopHeight( ResizablePanelBad.this, posSize.top, Unit.PX, posSize.height, Unit.PX ); RootLayoutPanel.get().animate( 300 ); } } );
private void startResizingFrom(int x, int y) { isResizing = true; onSplitterResizeStarted(x, y); // Resize glassElem to take up the entire scrollable window area int height = RootPanel.getBodyElement().getScrollHeight() - 1; int width = RootPanel.getBodyElement().getScrollWidth() - 1; glassElem.getStyle().setProperty("height", height + "px"); glassElem.getStyle().setProperty("width", width + "px"); RootPanel.getBodyElement().appendChild(glassElem); }
private void startResizingFrom(int x, int y) { isResizing = true; onSplitterResizeStarted(x, y); // Resize glassElem to take up the entire scrollable window area int height = RootPanel.getBodyElement().getScrollHeight() - 1; int width = RootPanel.getBodyElement().getScrollWidth() - 1; glassElem.getStyle().setProperty("height", height + "px"); glassElem.getStyle().setProperty("width", width + "px"); RootPanel.getBodyElement().appendChild(glassElem); }
final int scrollWidth = getElement().getScrollWidth(); final int scrollHeight = getElement().getScrollHeight(); if ( cx > scrollWidth || cy > scrollHeight ) {
final int scrollWidth = getElement().getScrollWidth(); final int scrollHeight = getElement().getScrollHeight(); if (cx > scrollWidth || cy > scrollHeight) {