Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
non-editable text area;
authorwenzelm
Sat, 18 Sep 2010 15:50:29 +0200
changeset 39516 8a70e91650a6
parent 39515 57ceabb0bb8e
child 39517 e036c67448e6
non-editable text area;
src/Tools/jEdit/src/jedit/raw_output_dockable.scala file | annotate | diff | comparison | revisions
src/Tools/jEdit/src/jedit/session_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit/raw_output_dockable.scala	Sat Sep 18 14:28:42 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/raw_output_dockable.scala	Sat Sep 18 15:50:29 2010 +0200
@@ -19,6 +19,7 @@
   extends Dockable(view: View, position: String)
 {
   private val text_area = new TextArea
+  text_area.editable = false
   set_content(new ScrollPane(text_area))
 
 
--- a/src/Tools/jEdit/src/jedit/session_dockable.scala	Sat Sep 18 14:28:42 2010 +0200
+++ b/src/Tools/jEdit/src/jedit/session_dockable.scala	Sat Sep 18 15:50:29 2010 +0200
@@ -18,6 +18,7 @@
 class Session_Dockable(view: View, position: String) extends Dockable(view: View, position: String)
 {
   private val text_area = new TextArea("Isabelle session")
+  text_area.editable = false
   set_content(new ScrollPane(text_area))
isabelle