src/Tools/jEdit/src/document_view.scala
changeset 43393 f4141da52e92
parent 43392 fe4b8c52b1cc
child 43397 dba359c0ae3b
     1.1 --- a/src/Tools/jEdit/src/document_view.scala	Wed Jun 15 11:41:49 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/document_view.scala	Wed Jun 15 13:36:08 2011 +0200
     1.3 @@ -396,7 +396,6 @@
     1.4      painter.addMouseMotionListener(mouse_motion_listener)
     1.5      text_area.addCaretListener(caret_listener)
     1.6      text_area.addLeftOfScrollBar(overview)
     1.7 -    if (text_area.isCaretBlinkEnabled) text_area.setCaretBlinkEnabled(false)
     1.8      session.commands_changed += main_actor
     1.9      session.global_settings += main_actor
    1.10    }
    1.11 @@ -406,7 +405,6 @@
    1.12      val painter = text_area.getPainter
    1.13      session.commands_changed -= main_actor
    1.14      session.global_settings -= main_actor
    1.15 -		text_area.setCaretBlinkEnabled(jEdit.getBooleanProperty("view.caretBlink"))
    1.16      text_area.removeFocusListener(focus_listener)
    1.17      text_area.getView.removeWindowListener(window_listener)
    1.18      painter.removeMouseMotionListener(mouse_motion_listener)