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.
alternative shortcut for English keyboard;
authorwenzelm
Fri, 30 Nov 2012 17:53:32 +0100
changeset 50297 62edbd5c95cc
parent 50296 dab1a3d3ba30
child 50298 1426d478ccda
alternative shortcut for English keyboard;
src/Tools/jEdit/src/Isabelle.props file | annotate | diff | comparison | revisions 
--- a/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 16:34:37 2012 +0100
+++ b/src/Tools/jEdit/src/Isabelle.props	Fri Nov 30 17:53:32 2012 +0100
@@ -33,6 +33,7 @@
 isabelle.cancel-execution.shortcut=C+e BACK_SPACE
 isabelle.increase-font-size.label=Increase font size
 isabelle.increase-font-size.shortcut=C+PLUS
+isabelle.increase-font-size.shortcut2=C+EQUALS
 isabelle.decrease-font-size.label=Decrease font size
 isabelle.decrease-font-size.shortcut=C+MINUS
 isabelle.control-isub.label=Control subscript
isabelle