public void adjustmentValueChanged(AdjustmentEvent e) { if (!e.getValueIsAdjusting()) updateColumnsPreferredWidth(); } });
public void adjustmentValueChanged(AdjustmentEvent e) { if (!e.getValueIsAdjusting()) updateScrollBar(false); } });
public void adjustmentValueChanged(AdjustmentEvent e) { autoScroll = !e.getValueIsAdjusting(); }
public void adjustmentValueChanged(AdjustmentEvent e) { autoScroll = !e.getValueIsAdjusting(); }
public void adjustmentValueChanged(AdjustmentEvent e) { if (!e.getValueIsAdjusting()) { // load missing details on adjusting the scroll bar // // only start loading more results in case if the // value is "not adjusting" - // this means that the mouse has been released and // is not dragging the scroll bar // any more, so effectively the user has stopped // scrolling checkAllEntriesInTheVisiblePartOfJListAreLoaded(); } } });
public void adjustmentValueChanged(AdjustmentEvent e) { autoScroll = !e.getValueIsAdjusting(); }
public void adjustmentValueChanged(AdjustmentEvent adjustmentEvent) { if (isScrolling) { if (!adjustmentEvent.getValueIsAdjusting()) { isScrolling = false; trackPanel.getNamePanel().repaint(); } } else { isScrolling = adjustmentEvent.getValueIsAdjusting(); } } });
@Override public void adjustmentValueChanged(final AdjustmentEvent e) { if (e.getValueIsAdjusting()) { return; } else if (upButton == null || downButton == null) { return; } System.err.println(e); enableOrDisableButtons(); }
public void adjustmentValueChanged(AdjustmentEvent e) { if (!e.getValueIsAdjusting()) { repaint(); } } });
public void adjustmentValueChanged(AdjustmentEvent e) { if (!e.getValueIsAdjusting()) { repaint(); } } });
@Override public void adjustmentValueChanged(AdjustmentEvent ae) { if (!ae.getValueIsAdjusting()) { controller.setVisibleRange(ae.getValue()); } } };
public void adjustmentValueChanged(AdjustmentEvent e) { if (!e.getValueIsAdjusting() && !dontAdjust) { try { //TODO Fix bug :sometimes when going at tail, it goes head //TODO (the offset must not be good...) //log.info("value:"+e.getValue()); dontAdjust = true; read(e.getValue()); } catch (IOException e1) { log.warn(t("could not read at offset %1$s for reason %2$s", e.getValue(), e1.getMessage())); } } dontAdjust = false; }
@Override public void adjustmentValueChanged(final AdjustmentEvent e) { if (e.getValue() > lastValue) { // scrollbar has been dragged to the right repaint = true; } if (!e.getValueIsAdjusting() && repaint) { //Done scrolling - repaint if needed jScrollPane.repaint(); repaint = false; } lastValue = e.getValue(); } }
final JScrollPane p = new JScrollPane(); p.setViewportView(table); p.getVerticalScrollBar().addAdjustmentListener(new AdjustmentListener(){ @Override public void adjustmentValueChanged(AdjustmentEvent e) { // here the control if vertical scroll bar has reached the maximum value if(!e.getValueIsAdjusting()){ JScrollBar source = (JScrollBar) e.getAdjustable(); int extent = source.getModel().getExtent(); int maximum = source.getModel().getMaximum(); if(e.getValue() + extent == maximum){ retrieveData(); } } } });
public void adjustmentValueChanged(AdjustmentEvent event) { JScrollBar vbar = (JScrollBar) event.getSource(); if (!event.getValueIsAdjusting()) { return; } disableAutoScroll = ((vbar.getValue() + vbar.getVisibleAmount()) != vbar.getMaximum()); } });
@Override public void adjustmentValueChanged(final AdjustmentEvent ae) { if (ae.getValueIsAdjusting()) return; // wait until the slider stops if (!slider.isEnabled()) { IJ.log("slider not enabled!"); return; } // Check that the value has really changed final int v = slider.getValue(); if (v == lastValue[0]) return; lastValue[0] = v; run(v); }
@Override public void adjustmentValueChanged(final AdjustmentEvent e) { if (!e.getValueIsAdjusting()) { int position = getParentViewport().getViewPosition().x; jStartSpace.setMinimumSize(new Dimension(position, Program.getButtonsHeight())); setEnabled(true); jTable.repaint(); } else { if (jExpand.isEnabled()) { //Only do once setEnabled(false); jTable.repaint(); } } } }
public void adjustmentValueChanged(AdjustmentEvent e) { if (bar != null && e.getSource() == bar) { AdjustmentEvent myE = new AdjustmentEvent(this, e.getID(), e.getAdjustmentType(), e.getValue(), e.getValueIsAdjusting()); AdjustmentListener listener = adjustmentListener; if (listener != null) { listener.adjustmentValueChanged(myE); } } }
public void adjustmentValueChanged(AdjustmentEvent e) { if (bar != null && e.getSource() == bar) { AdjustmentEvent myE = new AdjustmentEvent(this, e.getID(), e.getAdjustmentType(), e.getValue(), e.getValueIsAdjusting()); AdjustmentListener listener = adjustmentListener; if (listener != null) { listener.adjustmentValueChanged(myE); } } }
@Override public void adjustmentValueChanged(final AdjustmentEvent e) { if (bar != null && e.getSource() == bar) { final AdjustmentEvent myE = new AdjustmentEvent(this, e.getID(), e.getAdjustmentType(), e .getValue(), e.getValueIsAdjusting()); final AdjustmentListener listener = adjustmentListener; if (listener != null) { listener.adjustmentValueChanged(myE); } } }