390 |
if (value > maximum) |
if (value > maximum) |
391 |
value = maximum; |
value = maximum; |
392 |
|
|
393 |
if (visibleAmount > value) |
if (visibleAmount > maximum - minimum) |
394 |
visibleAmount = value; |
visibleAmount = maximum - minimum; |
395 |
|
|
396 |
this.value = value; |
this.value = value; |
397 |
this.visibleAmount = visibleAmount; |
this.visibleAmount = visibleAmount; |
664 |
protected void |
protected void |
665 |
processAdjustmentEvent(AdjustmentEvent event) |
processAdjustmentEvent(AdjustmentEvent event) |
666 |
{ |
{ |
667 |
|
value = event.getValue(); |
668 |
if (adjustment_listeners != null) |
if (adjustment_listeners != null) |
669 |
adjustment_listeners.adjustmentValueChanged(event); |
adjustment_listeners.adjustmentValueChanged(event); |
670 |
} |
} |