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 GUI;
authorwenzelm
Mon, 17 Apr 2017 15:23:51 +0200
changeset 65493 4729318d3fc3
parent 65492 bce2474394da
child 65494 88e6442c3150
tuned GUI;
src/Tools/jEdit/src/theories_dockable.scala file | annotate | diff | comparison | revisions 
--- 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
     }
   }
isabelle