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/symbols_dockable.scala
changeset 50189 5ab700fd5128
parent 50187 b5a09812abc4
child 50190 0d7f0d8fd63b 
--- a/src/Tools/jEdit/src/symbols_dockable.scala	Sat Nov 24 16:59:07 2012 +0100
+++ b/src/Tools/jEdit/src/symbols_dockable.scala	Sat Nov 24 17:05:10 2012 +0100
@@ -60,7 +60,7 @@
           new FlowPanel {
             contents ++= symbols.map(new Symbol_Component(_))
             if (group == "control") contents += new Reset_Component
-          })
+          }, null)
       }).toList.sortWith(_.title <= _.title)
     pages += new TabbedPane.Page("search", new BorderPanel {
       val search = new TextField(10)
isabelle