Lines 217-222
Link Here
|
217 |
Insets margin = value != null ? SettingsConversions.parseInsets(value) : null; |
217 |
Insets margin = value != null ? SettingsConversions.parseInsets(value) : null; |
218 |
component.setMargin(margin != null ? margin : EditorUI.NULL_INSETS); |
218 |
component.setMargin(margin != null ? margin : EditorUI.NULL_INSETS); |
219 |
|
219 |
|
|
|
220 |
BaseKit kit = (BaseKit)getEditorKit(component); |
221 |
ViewFactory vf = kit.getViewFactory(); |
222 |
// Create and attach caret |
223 |
Caret defaultCaret = component.getCaret(); |
224 |
Caret caret = kit.createCaret(); |
225 |
component.setCaretColor(Color.black); // will be changed by settings later |
226 |
component.setCaret(caret); |
227 |
component.putClientProperty(PROP_DEFAULT_CARET_BLINK_RATE, defaultCaret.getBlinkRate()); |
228 |
|
220 |
getEditorUI().installUI(component); |
229 |
getEditorUI().installUI(component); |
221 |
foldingEnabled = prefs.getBoolean(SimpleValueNames.CODE_FOLDING_ENABLE, EditorPreferencesDefaults.defaultCodeFoldingEnable); |
230 |
foldingEnabled = prefs.getBoolean(SimpleValueNames.CODE_FOLDING_ENABLE, EditorPreferencesDefaults.defaultCodeFoldingEnable); |
222 |
component.putClientProperty(SimpleValueNames.CODE_FOLDING_ENABLE, foldingEnabled); |
231 |
component.putClientProperty(SimpleValueNames.CODE_FOLDING_ENABLE, foldingEnabled); |
Lines 229-242
Link Here
|
229 |
component.putClientProperty(UIWatcher.class, uiWatcher); |
238 |
component.putClientProperty(UIWatcher.class, uiWatcher); |
230 |
} |
239 |
} |
231 |
|
240 |
|
232 |
BaseKit kit = (BaseKit)getEditorKit(component); |
|
|
233 |
ViewFactory vf = kit.getViewFactory(); |
234 |
// Create and attach caret |
235 |
Caret defaultCaret = component.getCaret(); |
236 |
Caret caret = kit.createCaret(); |
237 |
component.setCaretColor(Color.black); // will be changed by settings later |
238 |
component.setCaret(caret); |
239 |
component.putClientProperty(PROP_DEFAULT_CARET_BLINK_RATE, defaultCaret.getBlinkRate()); |
240 |
|
241 |
|
241 |
// assign blink rate |
242 |
// assign blink rate |
242 |
int br = prefs.getInt(SimpleValueNames.CARET_BLINK_RATE, -1); |
243 |
int br = prefs.getInt(SimpleValueNames.CARET_BLINK_RATE, -1); |