home *** CD-ROM | disk | FTP | other *** search
- package javax.swing.plaf.basic;
-
- import java.awt.event.FocusEvent;
- import java.awt.event.FocusListener;
- import javax.swing.tree.TreePath;
-
- public class BasicTreeUI$FocusHandler implements FocusListener {
- // $FF: synthetic field
- private final BasicTreeUI this$0;
-
- public BasicTreeUI$FocusHandler(BasicTreeUI var1) {
- this.this$0 = var1;
- }
-
- public void focusGained(FocusEvent var1) {
- if (this.this$0.tree != null) {
- TreePath var2 = this.this$0.tree.getLeadSelectionPath();
- if (var2 != null) {
- this.this$0.tree.repaint(this.this$0.getPathBounds(this.this$0.tree, var2));
- }
-
- var2 = BasicTreeUI.access$4(this.this$0);
- if (var2 != null) {
- this.this$0.tree.repaint(this.this$0.getPathBounds(this.this$0.tree, var2));
- }
- }
-
- }
-
- public void focusLost(FocusEvent var1) {
- this.focusGained(var1);
- }
- }
-