scrollBar.setVisibleAmount(visibleAmount);
/** * 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 setVisibleAmount(int v) { bar.setVisibleAmount(v); }
@Override public void setVisibleAmount(final int v) { bar.setVisibleAmount(v); }
public void setVisibleAmount(int v) { bar.setVisibleAmount(v); }
/** * 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.setVisibleAmount( scrollarea.getSize().width ); vertical.setVisibleAmount( scrollarea.getSize().height );
scrollBar.setVisibleAmount(visibleAmount);
/** * 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; }