equal
deleted
inserted
replaced
101 eraseBackgroundDisabled = true; |
101 eraseBackgroundDisabled = true; |
102 } |
102 } |
103 protected boolean doEraseBackground() { |
103 protected boolean doEraseBackground() { |
104 return !eraseBackgroundDisabled; |
104 return !eraseBackgroundDisabled; |
105 } |
105 } |
106 public void setBackground(Color c) { |
|
107 boolean doRepaint = false; |
|
108 if( getPeerBackground() == null || |
|
109 !getPeerBackground().equals( c ) ) { |
|
110 doRepaint = true; |
|
111 } |
|
112 super.setBackground(c); |
|
113 if( doRepaint ) { |
|
114 target.repaint(); |
|
115 } |
|
116 } |
|
117 } |
106 } |