|
|
@ -179,8 +179,10 @@ public class DarkTreeUI extends BasicTreeUI implements PropertyChangeListener, C |
|
|
|
@Override |
|
|
|
@Override |
|
|
|
protected void installListeners() { |
|
|
|
protected void installListeners() { |
|
|
|
super.installListeners(); |
|
|
|
super.installListeners(); |
|
|
|
|
|
|
|
if (UIManager.getBoolean("Tree.showFullRowInPopup")) { |
|
|
|
popupListener = createPopupMouseListener(); |
|
|
|
popupListener = createPopupMouseListener(); |
|
|
|
popupListener.install(); |
|
|
|
popupListener.install(); |
|
|
|
|
|
|
|
} |
|
|
|
tree.addPropertyChangeListener(this); |
|
|
|
tree.addPropertyChangeListener(this); |
|
|
|
tree.addMouseListener(selectionListener); |
|
|
|
tree.addMouseListener(selectionListener); |
|
|
|
} |
|
|
|
} |
|
|
@ -377,8 +379,10 @@ public class DarkTreeUI extends BasicTreeUI implements PropertyChangeListener, C |
|
|
|
@Override |
|
|
|
@Override |
|
|
|
protected void uninstallListeners() { |
|
|
|
protected void uninstallListeners() { |
|
|
|
super.uninstallListeners(); |
|
|
|
super.uninstallListeners(); |
|
|
|
|
|
|
|
if (popupListener != null) { |
|
|
|
popupListener.uninstall(); |
|
|
|
popupListener.uninstall(); |
|
|
|
popupListener = null; |
|
|
|
popupListener = null; |
|
|
|
|
|
|
|
} |
|
|
|
tree.removeMouseListener(selectionListener); |
|
|
|
tree.removeMouseListener(selectionListener); |
|
|
|
tree.removePropertyChangeListener(this); |
|
|
|
tree.removePropertyChangeListener(this); |
|
|
|
} |
|
|
|
} |
|
|
@ -550,7 +554,7 @@ public class DarkTreeUI extends BasicTreeUI implements PropertyChangeListener, C |
|
|
|
|
|
|
|
|
|
|
|
@Override |
|
|
|
@Override |
|
|
|
public void update(final Graphics g, final JComponent c) { |
|
|
|
public void update(final Graphics g, final JComponent c) { |
|
|
|
popupListener.repaint(); |
|
|
|
if (popupListener != null) popupListener.repaint(); |
|
|
|
super.update(g, c); |
|
|
|
super.update(g, c); |
|
|
|
} |
|
|
|
} |
|
|
|
|
|
|
|
|
|
|
|