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/theories_dockable.scala
changeset 64442 85adb337e32f
parent 62973 744266e32612
child 64443 857acb970dfa 
--- a/src/Tools/jEdit/src/theories_dockable.scala	Thu Nov 03 08:10:56 2016 +0100
+++ b/src/Tools/jEdit/src/theories_dockable.scala	Thu Nov 03 17:51:10 2016 +0100
@@ -178,8 +178,8 @@
 
   private class Node_Renderer extends ListView.Renderer[Document.Node.Name]
   {
-    def componentFor(list: ListView[_], isSelected: Boolean, focused: Boolean,
-      name: Document.Node.Name, index: Int): Component =
+    def componentFor(list: ListView[_ <: isabelle.Document.Node.Name], isSelected: Boolean,
+      focused: Boolean, name: Document.Node.Name, index: Int): Component =
     {
       val component = Node_Renderer_Component
       component.node_name = name
isabelle