1.1 --- a/src/Tools/jEdit/src/raw_output_dockable.scala	Fri Aug 19 13:32:27 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/raw_output_dockable.scala	Fri Aug 19 13:55:32 2011 +0200
     1.3 @@ -21,7 +21,6 @@
     1.4    extends Dockable(view: View, position: String)
     1.5  {
     1.6    private val text_area = new TextArea
     1.7 -  text_area.editable = false
     1.8    set_content(new ScrollPane(text_area))
     1.9  
    1.10