scrollBar.setUnitIncrement(unit); scrollBar.setBlockIncrement(extent); scrollBar.setValues(0, heightMargin + extent, 0, heightMargin + max);
private JScrollPane getScrollPane() { JScrollPane scrollPane = new JScrollPane(); scrollPane.setBorder(new LineBorder(Color.LIGHT_GRAY)); Action blankAction = new AbstractAction() { @Override public void actionPerformed(ActionEvent actionEvent) { } }; scrollPane.getActionMap().put("unitScrollDown", blankAction); scrollPane.getActionMap().put("unitScrollLeft", blankAction); scrollPane.getActionMap().put("unitScrollRight", blankAction); scrollPane.getActionMap().put("unitScrollUp", blankAction); JScrollBar verticalScrollBar = scrollPane.createVerticalScrollBar(); verticalScrollBar.setUnitIncrement(HexView.CHAR_HEIGHT); verticalScrollBar.setBlockIncrement(HexView.CHAR_HEIGHT * 20); verticalScrollBar.setValues(0, 1, 0, HexView.CHAR_HEIGHT * (model.totalLine()+1)); scrollPane.setVerticalScrollBar(verticalScrollBar); return scrollPane; }
public void setValues(int value, int visible, int minimum, int maximum) { getSwingComponent().setValues(value, visible, minimum, maximum); }
/*************************************************************************** * * Updates the scrollbar cursors positions. * **************************************************************************/ private void updateScrollBars () { if (scrollBarsVisible) { horizontalScrollBar.setValues(this.origin.x, (int)Math.round(getAvailableWidth() / scale), 0, image.getWidth()); verticalScrollBar.setValues(this.origin.y, (int)Math.round(getAvailableHeight() / scale), 0, image.getHeight()); } }
private void updateHorizontalScrollBar() { Dimension extentSize = datesViewport.getExtentSize(); Dimension viewSize = datesViewport.getViewSize(); Point viewPosition = datesViewport.getViewPosition(); int extent = extentSize.width; int max = viewSize.width; int value = Math.max(0, Math.min(viewPosition.x, max - extent)); horizontalScrollBar.setValues(value, extent, 0, max); }
private void updateVerticalScrollBar() { Dimension extentSize = leftResourcesViewport.getExtentSize(); Dimension viewSize = leftResourcesViewport.getViewSize(); Point viewPosition = leftResourcesViewport.getViewPosition(); int extent = extentSize.height; int max = viewSize.height; int value = Math.max(0, Math.min(viewPosition.y, max - extent)); verticalScrollBar.setValues(value, extent, 0, max); }
private void updateVerticalScrollBar() { Dimension extentSize = resourcesViewport.getExtentSize(); Dimension viewSize = resourcesViewport.getViewSize(); Point viewPosition = resourcesViewport.getViewPosition(); int extent = extentSize.height; int max = viewSize.height; int value = Math.max(0, Math.min(viewPosition.y, max - extent)); verticalScrollBar.setValues(value, extent, 0, max); }
private void updateVerticalScrollBar() { Dimension extentSize = resourcesViewport.getExtentSize(); Dimension viewSize = resourcesViewport.getViewSize(); Point viewPosition = resourcesViewport.getViewPosition(); int extent = extentSize.height; int max = viewSize.height; int value = Math.max(0, Math.min(viewPosition.y, max - extent)); verticalScrollBar.setValues(value, extent, 0, max); }
private void updateHorizontalScrollBar() { Dimension extentSize = dayDatesViewport.getExtentSize(); Dimension viewSize = dayDatesViewport.getViewSize(); Point viewPosition = dayDatesViewport.getViewPosition(); int extent = extentSize.width; int max = viewSize.width; int value = Math.max(0, Math.min(viewPosition.x, max - extent)); horizontalScrollBar.setValues(value, extent, 0, max); }
private void updateHorizontalScrollBar() { Dimension extentSize = dayDatesViewport.getExtentSize(); Dimension viewSize = dayDatesViewport.getViewSize(); Point viewPosition = dayDatesViewport.getViewPosition(); int extent = extentSize.width; int max = viewSize.width; int value = Math.max(0, Math.min(viewPosition.x, max - extent)); horizontalScrollBar.setValues(value, extent, 0, max); }
Utils.invokeLater(new Runnable() { @Override public void run() { final int size = layer.getParent().size(); if (size <= 1) { scroller.setValues(0, 1, 0, 0); scroller.setEnabled(false); } else { scroller.setEnabled(true); scroller.setValues(layer.getParent().indexOf(layer), 1, 0, size); } recreateLayerPanels(layer); }}); }
private void setScrollbarValue(final JScrollBar scrollBar, final int value) { final BoundedRangeModel scrollModel = scrollBar.getModel(); scrollBar.setValues(value, scrollModel.getExtent(), scrollModel.getMinimum(), scrollModel.getMaximum()); }
/** * Updates the state of the scroll bars. This should be called * if the number of lines in the document changes, or when the * size of the text are changes. */ public void updateScrollBars() { if(vertical != null && visibleLines != 0) { vertical.setValues(firstLine,visibleLines,0,getLineCount()); vertical.setUnitIncrement(2); vertical.setBlockIncrement(visibleLines); } int width = painter.getWidth(); if(horizontal != null && width != 0) { horizontal.setValues(-horizontalOffset,width,0,width * 5); horizontal.setUnitIncrement(painter.getFontMetrics() .charWidth('w')); horizontal.setBlockIncrement(width / 2); } }
public void setValues(int value, int extent, int min, int max) { if (adjusting) return; value = checkedValue(value); setEnabled(extent < max); if (trackEnd()) value = max - extent; super.setValues(value, extent, min, max); updateColumnOffset(value); } public void setValueIsAdjusting(boolean b) {
private void updateHorizontalScrollBars(ProfilerTable table, int column, boolean layout) { if (column != -1) { JScrollBar scroll = getScroller(column); int offset = table.getColumnOffset(column); int columnPref = table.getColumnPreferredWidth(column); int _column = table.convertColumnIndexToView(column); int columnAct = table.getTableHeader().getHeaderRect(_column).width; if (columnPref > columnAct) { int value = Math.min(offset, columnPref - columnAct); scroll.setValues(value, columnAct, 0, columnPref); } else { scroll.setValues(0, 0, 0, 0); } } if (layout) { doLayout(); scrollersPanel.doLayout(); repaint(); } }
private void revalidateScrollBar() { if (!isDisplayable()) { return; } if (!isTreeHScrollBar) { return ; } if ( (outline.getColumnModel().getColumnCount() > 0) ) { int column = outline.convertColumnIndexToView(0); int extentWidth = outline.getColumnModel().getColumn(column).getWidth(); int maxWidth = outline.getTreePreferredWidth(); int positionX = outline.getTreePositionX(); int value = Math.max(0, Math.min(positionX, maxWidth - extentWidth)); hScrollBar.setValues(value, extentWidth, 0, maxWidth); hScrollBar.setBlockIncrement(extentWidth); } }
private void revalidateScrollBar() { if (!isDisplayable()) { return; } if (treeTable.getColumnModel().getColumnCount() > 0 && ((TreeTable)treeTable).getTreeColumnIndex() >= 0) { int extentWidth = treeTable.getColumnModel().getColumn(((TreeTable)treeTable).getTreeColumnIndex()).getWidth(); int maxWidth = tree.getPreferredSize().width; int extentHeight = scrollPane.getViewport().getSize().height; int maxHeight = tree.getPreferredSize().height; int positionX = ((TreeTable)treeTable).getPositionX(); int value = Math.max(0, Math.min(positionX, maxWidth - extentWidth)); boolean hsbvisible = hScrollBar.isVisible(); boolean vsbvisible = scrollPane.getVerticalScrollBar().isVisible(); int hsbheight = hsbvisible ? hScrollBar.getHeight() : 0; int vsbwidth = scrollPane.getVerticalScrollBar().getWidth(); hScrollBar.setValues(value, extentWidth, 0, maxWidth); if (hideHScrollBar || maxWidth <= extentWidth || (vsbvisible && (maxHeight <= extentHeight + hsbheight && maxWidth <= extentWidth + vsbwidth))) hScrollBar.setVisible(false); else hScrollBar.setVisible(true); } } }
void updateMaxHorizontalScrollWidth() { int max = chunkCache.getMaxHorizontalScrollWidth(); if (max != maxHorizontalScrollWidth) { maxHorizontalScrollWidth = max; horizontal .setValues(Math.max( 0, Math.min(maxHorizontalScrollWidth + charWidth - painter.getWidth(), -horizontalOffset)), painter.getWidth(), 0, maxHorizontalScrollWidth + charWidth); horizontal.setUnitIncrement(10); horizontal.setBlockIncrement(painter.getWidth()); } else if (horizontal.getValue() != -horizontalOffset) { horizontal.setValue(-horizontalOffset); } } // }}}
private void updateVerticalScrollBarMOdel(final BoundedRangeModel rangeModel) { if (isNewModelDifferent(this.verticalScrollBar.getModel(), rangeModel)) { this.verticalScrollBar.setValues(rangeModel.getValue(), rangeModel.getExtent(), rangeModel.getMinimum(), rangeModel.getMaximum()); } }
private void updateHorizontalScrollBarModel(final BoundedRangeModel rangeModel) { if (isNewModelDifferent(this.horizontalScrollBar.getModel(), rangeModel)) { this.horizontalScrollBar.setValues(rangeModel.getValue(), rangeModel.getExtent(), rangeModel.getMinimum(), rangeModel.getMaximum()); } }