scrollBar.setMaximum(maximum);
/** * Creates a new {@code ScrollingAWTTerminal} with customizable settings. * @param deviceConfiguration How to configure the terminal virtual device * @param fontConfiguration What kind of fonts to use * @param colorConfiguration Which color schema to use for ANSI colors */ @SuppressWarnings({"SameParameterValue", "WeakerAccess"}) public ScrollingAWTTerminal( TerminalEmulatorDeviceConfiguration deviceConfiguration, SwingTerminalFontConfiguration fontConfiguration, TerminalEmulatorColorConfiguration colorConfiguration) { this.scrollBar = new Scrollbar(Scrollbar.VERTICAL); this.awtTerminal = new AWTTerminal( deviceConfiguration, fontConfiguration, colorConfiguration, new ScrollController()); setLayout(new BorderLayout()); add(awtTerminal, BorderLayout.CENTER); add(scrollBar, BorderLayout.EAST); this.scrollBar.setMinimum(0); this.scrollBar.setMaximum(20); this.scrollBar.setValue(0); this.scrollBar.setVisibleAmount(20); this.scrollBar.addAdjustmentListener(new ScrollbarListener()); this.scrollModelUpdateBySystem = false; }
public void setMaximum(int max) { bar.setMaximum(max); } public void setMinimum(int min) {
@Override public void setMaximum(final int max) { bar.setMaximum(max); }
public void setMaximum(int max) { bar.setMaximum(max); } public void setMinimum(int min) {
/** * Sets 'a' as vertical Scrollbar. * The Browser becomes an AdjustmentListener of this scrollbar. */ public void setVerticalScrollbar(Scrollbar a) { vscroll = a; vscroll.addAdjustmentListener(this); vscroll.setMaximum(visibleItemCount); vscroll.setVisibleAmount(visibleItemCount); vscroll.setBlockIncrement(visibleItemCount); }
private void updateScrollbars() { int max = items.size()+1; if(items.size() > visibleItemCount) { vscroll.setMaximum(max); vscroll.setVisibleAmount(visibleItemCount); vscroll.setVisible(true); } else { vscroll.setValue(0); vscroll.setMaximum(max); vscroll.setVisibleAmount(max); if (scrollbarDisplayPolicy == SCROLLBARS_ASNEEDED) { vscroll.setVisible(false); } } int myWidth = getSize().width-HMARGIN*2; hscroll.setMaximum(maxwidth); hscroll.setVisibleAmount(myWidth); if (maxwidth > myWidth) { hscroll.setVisible(true); } else { if (scrollbarDisplayPolicy == SCROLLBARS_ASNEEDED) { hscroll.setVisible(false); } } }
/** * Sets 'a' as horizontal Scrollbar. * The Browser becomes an AdjustmentListener of this scrollbar. */ public void setHorizontalScrollbar(Scrollbar a) { hscroll = a; hscroll.addAdjustmentListener(this); int myWidth = getSize().width-HMARGIN*2; hscroll.setMaximum(myWidth); hscroll.setVisibleAmount(myWidth); hscroll.setBlockIncrement(20); }
horizontal.setMaximum( component.getSize().width); horizontal.addAdjustmentListener( new AdjustmentListener() { public void adjustmentValueChanged(AdjustmentEvent e) { vertical.setMaximum( component.getSize().height); vertical.addAdjustmentListener( new AdjustmentListener() { public void adjustmentValueChanged(AdjustmentEvent e) { horizontal.setMaximum( component.getSize().width ); horizontal.addAdjustmentListener( new AdjustmentListener() { public void adjustmentValueChanged(AdjustmentEvent e) { vertical.setMaximum( component.getSize().height); vertical.addAdjustmentListener( new AdjustmentListener() { public void adjustmentValueChanged(AdjustmentEvent e) {
scrollBar.setMaximum(maximum);
/** * Creates a new {@code ScrollingAWTTerminal} with customizable settings. * @param deviceConfiguration How to configure the terminal virtual device * @param fontConfiguration What kind of fonts to use * @param colorConfiguration Which color schema to use for ANSI colors */ @SuppressWarnings({"SameParameterValue", "WeakerAccess"}) public ScrollingAWTTerminal( TerminalEmulatorDeviceConfiguration deviceConfiguration, SwingTerminalFontConfiguration fontConfiguration, TerminalEmulatorColorConfiguration colorConfiguration) { this.scrollBar = new Scrollbar(Scrollbar.VERTICAL); this.awtTerminal = new AWTTerminal( deviceConfiguration, fontConfiguration, colorConfiguration, new ScrollController()); setLayout(new BorderLayout()); add(awtTerminal, BorderLayout.CENTER); add(scrollBar, BorderLayout.EAST); this.scrollBar.setMinimum(0); this.scrollBar.setMaximum(20); this.scrollBar.setValue(0); this.scrollBar.setVisibleAmount(20); this.scrollBar.addAdjustmentListener(new ScrollbarListener()); this.scrollModelUpdateBySystem = false; }