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;
Thu, 14 Nov 2024 10:50:49 +0100 wenzelm more careful isConsumed() / consume() for key and mouse events;
Wed, 06 Nov 2024 11:05:18 +0100 wenzelm misc tuning;
Tue, 05 Nov 2024 22:05:50 +0100 wenzelm misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
Sun, 03 Nov 2024 21:12:50 +0100 wenzelm tuned;
less more (0) -30 -10 -7 tip