# HG changeset patch
# User wenzelm
# Date 1670251300 -3600
# Node ID 89cd466e063d4ced5079690afd33cf22ec169cbc
# Parent  9c5780693350dd89c13ed8b0eb2a0fe180b5eb11
tuned;

diff -r 9c5780693350 -r 89cd466e063d src/Tools/jEdit/src/theories_dockable.scala
--- 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")