src/Tools/jEdit/src/documentation_dockable.scala
Fri, 22 Aug 2025 16:33:37 +0200 wenzelm more standard treatment of AccessibleContext, following existing Swing components;
Thu, 21 Aug 2025 20:53:05 +0200 wenzelm more accessibility;
Wed, 25 Jun 2025 12:08:12 +0200 wenzelm clarified signature: more accurate ML_Settings;
less more (0) -30 -10 -3 tip