home *** CD-ROM | disk | FTP | other *** search
- package sun.awt.windows;
-
- import java.awt.AWTEvent;
- import java.awt.Adjustable;
- import java.awt.peer.ActiveEvent;
-
- class WScrollPanePeer$Adjustor extends AWTEvent implements ActiveEvent {
- // $FF: synthetic field
- private final WScrollPanePeer this$0;
- int value;
- Adjustable adj;
- WScrollPanePeer peer;
-
- WScrollPanePeer$Adjustor(WScrollPanePeer var1, Adjustable var2, int var3, WScrollPanePeer var4) {
- super(var2, 0);
- this.this$0 = var1;
- this.this$0 = var1;
- this.adj = var2;
- this.value = var3;
- this.peer = var4;
- }
-
- public void dispatch() {
- this.peer.ignore = true;
- this.adj.setValue(this.value);
- this.peer.ignore = false;
- }
- }
-