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
--- 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