more derived actions, according to jEdit/org/gjt/sp/jedit/gui/DockableWindowFactory.java;

--- a/src/Pure/Tools/jedit.ML	Sat Sep 16 16:19:34 2017 +0200
+++ b/src/Pure/Tools/jedit.ML	Sat Sep 16 17:25:51 2017 +0200
@@ -32,7 +32,8 @@
   Lazy.lazy (fn () =>
     (case XML.parse (File.read \<^file>\<open>~~/src/Tools/jEdit/src/dockables.xml\<close>) of
       XML.Elem (("DOCKABLES", _), body) => maps (parse_named "DOCKABLE") body
-    | _ => []));
+    | _ => [])
+    |> maps (fn a => [a, a ^ "-toggle", a ^ "-float"]));
 
 val jedit_actions =
   Lazy.lazy (fn () =>