Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/raw_output_dockable.scala
changeset 75393 87ebf5a50283
parent 73987 fc363a3b690a 
--- a/src/Tools/jEdit/src/raw_output_dockable.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Tools/jEdit/src/raw_output_dockable.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -14,8 +14,7 @@
 import org.gjt.sp.jedit.View
 
 
-class Raw_Output_Dockable(view: View, position: String) extends Dockable(view, position)
-{
+class Raw_Output_Dockable(view: View, position: String) extends Dockable(view, position) {
   private val text_area = new TextArea
   set_content(new ScrollPane(text_area))
isabelle