138 int x1 = r.x + IBeamOverhang;
139 int y0 = r.y + 1;
140 int y1 = r.y + r.height - 2;
141 g.setColor(fg);
142 g.drawLine(r.x, y0, r.x, y1);
143 g.drawLine(x0, y0, x1, y0);
144 g.drawLine(x0, y1, x1, y1);
145 } catch (BadLocationException e) {
146 // can't render I guess
147 //System.err.println("Can't render caret");
148 }
149 }
150 }
151
152 static final int IBeamOverhang = 2;
153 }
154
155 /**
156 * Default bindings all keymaps implementing the Motif feel.
157 */
158 static final JTextComponent.KeyBinding[] defaultBindings = {
159 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_INSERT,
160 InputEvent.CTRL_MASK),
161 DefaultEditorKit.copyAction),
162 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_INSERT,
163 InputEvent.SHIFT_MASK),
164 DefaultEditorKit.pasteAction),
165 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DELETE,
166 InputEvent.SHIFT_MASK),
167 DefaultEditorKit.cutAction),
168 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT,
169 InputEvent.SHIFT_MASK),
170 DefaultEditorKit.selectionBackwardAction),
171 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT,
172 InputEvent.SHIFT_MASK),
173 DefaultEditorKit.selectionForwardAction),
174 };
175
176
177 }
|
138 int x1 = r.x + IBeamOverhang;
139 int y0 = r.y + 1;
140 int y1 = r.y + r.height - 2;
141 g.setColor(fg);
142 g.drawLine(r.x, y0, r.x, y1);
143 g.drawLine(x0, y0, x1, y0);
144 g.drawLine(x0, y1, x1, y1);
145 } catch (BadLocationException e) {
146 // can't render I guess
147 //System.err.println("Can't render caret");
148 }
149 }
150 }
151
152 static final int IBeamOverhang = 2;
153 }
154
155 /**
156 * Default bindings all keymaps implementing the Motif feel.
157 */
158 @SuppressWarnings("deprecation")
159 static final JTextComponent.KeyBinding[] defaultBindings = {
160 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_INSERT,
161 InputEvent.CTRL_MASK),
162 DefaultEditorKit.copyAction),
163 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_INSERT,
164 InputEvent.SHIFT_MASK),
165 DefaultEditorKit.pasteAction),
166 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_DELETE,
167 InputEvent.SHIFT_MASK),
168 DefaultEditorKit.cutAction),
169 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT,
170 InputEvent.SHIFT_MASK),
171 DefaultEditorKit.selectionBackwardAction),
172 new JTextComponent.KeyBinding(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT,
173 InputEvent.SHIFT_MASK),
174 DefaultEditorKit.selectionForwardAction),
175 };
176
177
178 }
|