mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
RunDashboard: support node links
- Repaint tree on mouse move to avoid simultaneously underlined links
This commit is contained in:
+1
-8
@@ -22,7 +22,6 @@ import org.jetbrains.annotations.NotNull;
|
||||
import org.jetbrains.annotations.Nullable;
|
||||
|
||||
import javax.swing.*;
|
||||
import javax.swing.tree.DefaultTreeModel;
|
||||
import javax.swing.tree.TreeNode;
|
||||
import javax.swing.tree.TreePath;
|
||||
import java.awt.*;
|
||||
@@ -39,13 +38,7 @@ public class RunDashboardTreeMouseListener extends RunDashboardLinkMouseListener
|
||||
}
|
||||
|
||||
protected void repaintComponent(MouseEvent e) {
|
||||
final TreePath path = myTree.getPathForLocation(e.getX(), e.getY());
|
||||
if (path == null) {
|
||||
myTree.repaint();
|
||||
return;
|
||||
}
|
||||
final TreeNode treeNode = (TreeNode)path.getLastPathComponent();
|
||||
((DefaultTreeModel)myTree.getModel()).nodeChanged(treeNode);
|
||||
myTree.repaint();
|
||||
}
|
||||
|
||||
@Nullable
|
||||
|
||||
Reference in New Issue
Block a user