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/Graphview/src/popups.scala
changeset 50463 1d7e506a3a77
parent 49737 dd6fc7c9504a
child 50472 bad1a1ca61e1 
--- a/src/Tools/Graphview/src/popups.scala	Mon Dec 10 16:38:20 2012 +0100
+++ b/src/Tools/Graphview/src/popups.scala	Mon Dec 10 17:05:51 2012 +0100
@@ -130,10 +130,6 @@
           def apply = panel.visualizer.model.Mutators(Nil)
         }).peer
     )
-    popup.add(new MenuItem(new Action("Remove transitive edges") {
-          def apply = add_mutator(Mutators.create(Edge_Transitive()))
-        }).peer
-    )
     popup.add(new JPopupMenu.Separator)
 
     if (under_mouse.isDefined) {
isabelle