src/Tools/jEdit/src-base/dockable.scala
Mon, 01 Mar 2021 22:22:12 +0100 wenzelm tuned --- fewer warnings;
Sat, 07 Mar 2020 12:19:41 +0100 wenzelm tuned;
Fri, 01 Sep 2017 15:15:29 +0200 wenzelm more robust: provide docking framework via base plugin;
less more (0) tip