textPane.addCaretListener(cl = new TextPaneCaretListener());
textPane.addMouseListener(ml = new TextPaneMouseAdapter());
textPane.addMouseMotionListener(mml = new TextPaneMouseMotionAdapter());
smoothScrolling = new XJSmoothScrolling(textPane, this);
// Gutter
gutter = new ATEGutter(this);
// Key bindings