equal
deleted
inserted
replaced
86 |
86 |
87 getComponent().putClientProperty("caretAspectRatio", null); |
87 getComponent().putClientProperty("caretAspectRatio", null); |
88 getComponent().removeFocusListener(handler); |
88 getComponent().removeFocusListener(handler); |
89 |
89 |
90 style.uninstallDefaults(context); |
90 style.uninstallDefaults(context); |
91 context.dispose(); |
|
92 style = null; |
91 style = null; |
93 super.uninstallDefaults(); |
92 super.uninstallDefaults(); |
94 } |
93 } |
95 |
94 |
96 private void updateStyle(JTextComponent comp) { |
95 private void updateStyle(JTextComponent comp) { |
105 if (oldStyle != null) { |
104 if (oldStyle != null) { |
106 uninstallKeyboardActions(); |
105 uninstallKeyboardActions(); |
107 installKeyboardActions(); |
106 installKeyboardActions(); |
108 } |
107 } |
109 } |
108 } |
110 context.dispose(); |
|
111 } |
109 } |
112 |
110 |
113 /** |
111 /** |
114 * {@inheritDoc} |
112 * {@inheritDoc} |
115 */ |
113 */ |
140 |
138 |
141 SynthLookAndFeel.update(context, g); |
139 SynthLookAndFeel.update(context, g); |
142 context.getPainter().paintTextAreaBackground(context, |
140 context.getPainter().paintTextAreaBackground(context, |
143 g, 0, 0, c.getWidth(), c.getHeight()); |
141 g, 0, 0, c.getWidth(), c.getHeight()); |
144 paint(context, g); |
142 paint(context, g); |
145 context.dispose(); |
|
146 } |
143 } |
147 |
144 |
148 /** |
145 /** |
149 * Paints the specified component. |
146 * Paints the specified component. |
150 * |
147 * |