equal
deleted
inserted
replaced
26 package sun.awt.X11; |
26 package sun.awt.X11; |
27 |
27 |
28 import java.awt.*; |
28 import java.awt.*; |
29 import java.awt.event.*; |
29 import java.awt.event.*; |
30 import java.awt.peer.*; |
30 import java.awt.peer.*; |
31 import java.util.logging.*; |
31 import sun.util.logging.PlatformLogger; |
32 |
32 |
33 class XScrollbarPeer extends XComponentPeer implements ScrollbarPeer, XScrollbarClient { |
33 class XScrollbarPeer extends XComponentPeer implements ScrollbarPeer, XScrollbarClient { |
34 private final static Logger log = Logger.getLogger("sun.awt.X11.XScrollbarPeer"); |
34 private final static PlatformLogger log = PlatformLogger.getLogger("sun.awt.X11.XScrollbarPeer"); |
35 |
35 |
36 private static final int DEFAULT_LENGTH = 50; |
36 private static final int DEFAULT_LENGTH = 50; |
37 private static final int DEFAULT_WIDTH_SOLARIS = 19; |
37 private static final int DEFAULT_WIDTH_SOLARIS = 19; |
38 private static final int DEFAULT_WIDTH_LINUX; |
38 private static final int DEFAULT_WIDTH_LINUX; |
39 |
39 |
160 } |
160 } |
161 } |
161 } |
162 |
162 |
163 public void handleJavaKeyEvent(KeyEvent event) { |
163 public void handleJavaKeyEvent(KeyEvent event) { |
164 super.handleJavaKeyEvent(event); |
164 super.handleJavaKeyEvent(event); |
165 if (log.isLoggable(Level.FINEST)) log.finer("KeyEvent on scrollbar: " + event); |
165 if (log.isLoggable(PlatformLogger.FINEST)) log.finer("KeyEvent on scrollbar: " + event); |
166 if (!(event.isConsumed()) && event.getID() == KeyEvent.KEY_RELEASED) { |
166 if (!(event.isConsumed()) && event.getID() == KeyEvent.KEY_RELEASED) { |
167 switch(event.getKeyCode()) { |
167 switch(event.getKeyCode()) { |
168 case KeyEvent.VK_UP: |
168 case KeyEvent.VK_UP: |
169 log.finer("Scrolling up"); |
169 log.finer("Scrolling up"); |
170 tsb.notifyValue(tsb.getValue() - tsb.getUnitIncrement()); |
170 tsb.notifyValue(tsb.getValue() - tsb.getUnitIncrement()); |