equal
deleted
inserted
replaced
77 if (oldStyle != null) { |
77 if (oldStyle != null) { |
78 uninstallKeyboardActions(); |
78 uninstallKeyboardActions(); |
79 installKeyboardActions(); |
79 installKeyboardActions(); |
80 } |
80 } |
81 } |
81 } |
82 context.dispose(); |
|
83 } |
82 } |
84 |
83 |
85 static void updateStyle(JTextComponent comp, SynthContext context, |
84 static void updateStyle(JTextComponent comp, SynthContext context, |
86 String prefix) { |
85 String prefix) { |
87 SynthStyle style = context.getStyle(); |
86 SynthStyle style = context.getStyle(); |
177 SynthContext context = getContext(c); |
176 SynthContext context = getContext(c); |
178 |
177 |
179 SynthLookAndFeel.update(context, g); |
178 SynthLookAndFeel.update(context, g); |
180 paintBackground(context, g, c); |
179 paintBackground(context, g, c); |
181 paint(context, g); |
180 paint(context, g); |
182 context.dispose(); |
|
183 } |
181 } |
184 |
182 |
185 /** |
183 /** |
186 * Paints the specified component. |
184 * Paints the specified component. |
187 * <p>This is routed to the {@link #paintSafely} method under |
185 * <p>This is routed to the {@link #paintSafely} method under |
260 |
258 |
261 getComponent().putClientProperty("caretAspectRatio", null); |
259 getComponent().putClientProperty("caretAspectRatio", null); |
262 getComponent().removeFocusListener(handler); |
260 getComponent().removeFocusListener(handler); |
263 |
261 |
264 style.uninstallDefaults(context); |
262 style.uninstallDefaults(context); |
265 context.dispose(); |
|
266 style = null; |
263 style = null; |
267 super.uninstallDefaults(); |
264 super.uninstallDefaults(); |
268 } |
265 } |
269 |
266 |
270 private final class Handler implements FocusListener { |
267 private final class Handler implements FocusListener { |