# HG changeset patch
# User wenzelm
# Date 1354294412 -3600
# Node ID 62edbd5c95cc3bbda89bc8037c0ef0913b159afa
# Parent  dab1a3d3ba30cd79db615eed37a3c087985bd542
alternative shortcut for English keyboard;

diff -r dab1a3d3ba30 -r 62edbd5c95cc 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