HomeIsabelle/Phabricator

include actions for jEdit dockables, e.g. "vfs.browser";