mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Cosmetics
This commit is contained in:
+3
-1
@@ -73,7 +73,9 @@ public class MarqueeTracker extends InputTool {
|
||||
myState = STATE_INVALID;
|
||||
eraseFeedback();
|
||||
}
|
||||
refreshCursor();
|
||||
if (button != MouseEvent.BUTTON3) {
|
||||
refreshCursor();
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
|
||||
Reference in New Issue
Block a user