protected void fireAdjustmentValueChanged(int id, int type, int value) { AdjustmentEvent e = null; Object[] listeners = getListenerList(); for (int i = listeners.length - 2; i >= 0; i -= 2) { if (listeners[i] == AdjustmentListener.class) { if (e == null) { e = new AdjustmentEvent(this, id, type, value); } ((AdjustmentListener) listeners[i + 1]).adjustmentValueChanged(e); } } }
@Override public void stateChanged( ChangeEvent e ){ AdjustmentEvent event = new AdjustmentEvent(SlimScrollbar.this, 0, 0, getValue()); for (AdjustmentListener listener : listeners){ listener.adjustmentValueChanged(event); } } });
if(c == KeyEvent.VK_DOWN || c == KeyEvent.VK_RIGHT || ch == '>'){ int newSlice = clamp(oldSlice + 1); adjustmentValueChanged(new AdjustmentEvent( sliceSelector, AdjustmentEvent.ADJUSTMENT_VALUE_CHANGED, } else if (c == KeyEvent.VK_UP || c == KeyEvent.VK_LEFT || ch == '<'){ int newSlice = clamp(oldSlice - 1); adjustmentValueChanged(new AdjustmentEvent( sliceSelector, AdjustmentEvent.ADJUSTMENT_VALUE_CHANGED, } else if (c == KeyEvent.VK_PAGE_UP){ int newSlice = clamp(oldSlice -5); adjustmentValueChanged(new AdjustmentEvent( sliceSelector, AdjustmentEvent.ADJUSTMENT_VALUE_CHANGED, } else if (c == KeyEvent.VK_PAGE_DOWN){ int newSlice = clamp(oldSlice + 5); adjustmentValueChanged(new AdjustmentEvent( sliceSelector, AdjustmentEvent.ADJUSTMENT_VALUE_CHANGED, } else if (ch == '.'){ int newSlice = nextRoiSlice(); adjustmentValueChanged(new AdjustmentEvent( sliceSelector, AdjustmentEvent.ADJUSTMENT_VALUE_CHANGED,
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); } } }
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); } } }