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.
tuned;
authorwenzelm
Mon, 05 Dec 2022 15:41:40 +0100
changeset 76563 89cd466e063d
parent 76562 9c5780693350
child 76564 02d07758ce42
tuned;
src/Tools/jEdit/src/theories_dockable.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Dec 05 15:36:03 2022 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Dec 05 15:41:40 2022 +0100
@@ -23,7 +23,7 @@
 class Theories_Dockable(view: View, position: String) extends Dockable(view, position) {
   /* status */
 
-  private val status = new ListView(List.empty[Document.Node.Name]) {
+  private val status = new ListView[Document.Node.Name](Nil) {
     background = {
       // enforce default value
       val c = UIManager.getDefaults.getColor("Panel.background")
isabelle