(TextAreaDefaults defaults, InputHandler inputHandler,
Editor editor)
| 51 | |
| 52 | |
| 53 | public PdeTextArea(TextAreaDefaults defaults, InputHandler inputHandler, |
| 54 | Editor editor) { |
| 55 | super(defaults, inputHandler); |
| 56 | this.editor = editor; |
| 57 | |
| 58 | // vertical.setUI(new ThemeScrollBarUI("editor")); |
| 59 | // horizontal.setUI(new ThemeScrollBarUI("editor")); |
| 60 | |
| 61 | // change cursor to pointer in the gutter area |
| 62 | painter.addMouseMotionListener(gutterCursorMouseAdapter); |
| 63 | |
| 64 | // already added by call to super(), removing [fry 220112] |
| 65 | //add(CENTER, painter); |
| 66 | |
| 67 | updateTheme(); |
| 68 | } |
| 69 | |
| 70 | |
| 71 | @Override |
nothing calls this directly
no test coverage detected