159 |
} |
} |
160 |
} |
} |
161 |
} |
} |
162 |
|
|
163 |
static EditorKit kit = new DefaultEditorKit(); |
static EditorKit kit = new DefaultEditorKit(); |
164 |
|
|
165 |
RootView rootView = new RootView(); |
RootView rootView = new RootView(); |
254 |
} |
} |
255 |
|
|
256 |
protected void installKeyboardActions() |
protected void installKeyboardActions() |
257 |
{ |
{ |
258 |
// load any bindings for the older Keymap interface |
// load any bindings for the older Keymap interface |
259 |
Keymap km = JTextComponent.getKeymap(getKeymapName()); |
Keymap km = JTextComponent.getKeymap(getKeymapName()); |
260 |
if (km == null) |
if (km == null) |