equal
deleted
inserted
replaced
1024 doClick(manager); |
1024 doClick(manager); |
1025 } else { |
1025 } else { |
1026 manager.processMouseEvent(e); |
1026 manager.processMouseEvent(e); |
1027 } |
1027 } |
1028 } |
1028 } |
|
1029 @SuppressWarnings("deprecation") |
1029 public void mouseEntered(MouseEvent e) { |
1030 public void mouseEntered(MouseEvent e) { |
1030 MenuSelectionManager manager = MenuSelectionManager.defaultManager(); |
1031 MenuSelectionManager manager = MenuSelectionManager.defaultManager(); |
1031 int modifiers = e.getModifiers(); |
1032 int modifiers = e.getModifiers(); |
1032 // 4188027: drag enter/exit added in JDK 1.1.7A, JDK1.2 |
1033 // 4188027: drag enter/exit added in JDK 1.1.7A, JDK1.2 |
1033 if ((modifiers & (InputEvent.BUTTON1_MASK | |
1034 if ((modifiers & (InputEvent.BUTTON1_MASK | |
1035 MenuSelectionManager.defaultManager().processMouseEvent(e); |
1036 MenuSelectionManager.defaultManager().processMouseEvent(e); |
1036 } else { |
1037 } else { |
1037 manager.setSelectedPath(getPath()); |
1038 manager.setSelectedPath(getPath()); |
1038 } |
1039 } |
1039 } |
1040 } |
|
1041 @SuppressWarnings("deprecation") |
1040 public void mouseExited(MouseEvent e) { |
1042 public void mouseExited(MouseEvent e) { |
1041 MenuSelectionManager manager = MenuSelectionManager.defaultManager(); |
1043 MenuSelectionManager manager = MenuSelectionManager.defaultManager(); |
1042 |
1044 |
1043 int modifiers = e.getModifiers(); |
1045 int modifiers = e.getModifiers(); |
1044 // 4188027: drag enter/exit added in JDK 1.1.7A, JDK1.2 |
1046 // 4188027: drag enter/exit added in JDK 1.1.7A, JDK1.2 |