Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
JAWS works as well, e.g. using its free license for 40min; default tip
authorwenzelm
Wed, 27 Aug 2025 20:42:15 +0200
changeset 83063 f8f82da1e560
parent 83062 0baecd42fadf
JAWS works as well, e.g. using its free license for 40min; tuned comments;
src/Tools/jEdit/src/jedit_accessible.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/jedit_accessible.scala	Tue Aug 26 20:26:12 2025 +0200
+++ b/src/Tools/jEdit/src/jedit_accessible.scala	Wed Aug 27 20:42:15 2025 +0200
@@ -2,8 +2,9 @@
     Author:     Makarius
 
 Support for accessible jEdit components, notably used with screenreaders:
-  - Windows: NVDA (see https://www.nvaccess.org)
-  - macOS: VoiceOver (builtin Command-F5)
+  - NVDA (Windows), see https://www.nvaccess.org
+  - JAWS (Windows), see https://support.freedomscientific.com/Downloads/JAWS
+  - VoiceOver (macOS), builtin Command-F5
 */
 
 package isabelle.jedit
isabelle