isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 tip

clarified GUI: move "Recent Directories" to "File" menu;
5 weeks ago, by wenzelm
suppress "Recent Files" filter text, which happens to be absent in macOS for unknown reasons --- on Linux & Windows it makes keyboard navigation of the manu "stuck" and also prevents browsing in Windows/NVDA;
5 weeks ago, by wenzelm
more accessible EnhancedMenuItem: uniform AccessibleName vs. menu.multiShortcut;
5 weeks ago, by wenzelm
more robust GUIUtilities.getComponentParent: allow subclasses, notably for View, EditPane etc.;
5 weeks ago, by wenzelm
support for ViewFactory and TextAreaPainterFactory as services --- no update of jedit component yet;
5 weeks ago, by wenzelm
clarified patches: this is hardly modular anymore;
5 weeks ago, by wenzelm
merged
5 weeks ago, by wenzelm
more realistic TextArea.AccessibleContext, including AccessibleText with partial operations: works for NVDA, but not for VoiceOver;
5 weeks ago, by wenzelm
tuned whitespace;
5 weeks ago, by wenzelm
more standard treatment of AccessibleContext, following existing Swing components;
5 weeks ago, by wenzelm
basic support for accessible jEdit components;
5 weeks ago, by wenzelm
update to jedit-20250822, with support for EditPaneFactory and JEditTextAreaFactory as services;
5 weeks ago, by wenzelm
clarified patches: this is hardly modular anymore;
5 weeks ago, by wenzelm
Fixed some ugly proofs
5 weeks ago, by paulson
Simplification when extended real numerals are compared with 1
5 weeks ago, by paulson
merged
5 weeks ago, by wenzelm
more accessibility;
5 weeks ago, by wenzelm
proper GUI.copy_font, following fd3b214b0979;
5 weeks ago, by wenzelm
tuned;
5 weeks ago, by wenzelm
support for javax.swing.JLabel.labelFor following the Java Swing Tutorial on Assistive Technologies, although it has no immediate impact on NVDA;
5 weeks ago, by wenzelm
more robust: avoid division by zero;
5 weeks ago, by wenzelm
pretty margin <= 0 means no margin;
5 weeks ago, by wenzelm
provide explicit attribute for singleton default equations
5 weeks ago, by haftmann
make preprocessor setup confluent
5 weeks ago, by haftmann
dropped unused operations
5 weeks ago, by haftmann
prefer regular code declarations
6 weeks ago, by haftmann
merged
5 weeks ago, by wenzelm
tuned comments;
6 weeks ago, by wenzelm
tuned signature;
6 weeks ago, by wenzelm
tuned source structure: ml_settings operations implicitly assume init;
6 weeks ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 tip

isabelle