# HG changeset patch
# User wenzelm
# Date 1492435431 -7200
# Node ID 4729318d3fc38cd59e9c14cdc9f84573c0e3f51a
# Parent  bce2474394da9bc8b62651896080808366a93b6e
tuned GUI;

diff -r bce2474394da -r 4729318d3fc3 src/Tools/jEdit/src/theories_dockable.scala
--- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Apr 17 15:08:49 2017 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Apr 17 15:23:51 2017 +0200
@@ -172,7 +172,7 @@
       val component = Node_Renderer_Component
       component.node_name = name
       component.checkbox.selected = nodes_required.contains(name)
-      component.label.text = name.theory
+      component.label.text = name.theory_base_name
       component
     }
   }