mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Dispatch mouse move events to target tools [fix-34267]
This commit is contained in:
+8
@@ -127,6 +127,14 @@ public class SelectionTool extends InputTool {
|
||||
myArea.setDescription(null);
|
||||
}
|
||||
else {
|
||||
if (myInputEvent instanceof MouseEvent) {
|
||||
try {
|
||||
tracker.mouseMove((MouseEvent)myInputEvent, myArea);
|
||||
}
|
||||
catch (Exception e) {
|
||||
// pass
|
||||
}
|
||||
}
|
||||
myArea.setCursor(tracker.getDefaultCursor());
|
||||
myArea.setDescription(tracker.getDescription());
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user