--- a/src/Tools/jEdit/src/jEdit.props Sun Jan 03 23:01:16 2021 +0100
+++ b/src/Tools/jEdit/src/jEdit.props Sun Jan 03 23:06:37 2021 +0100
@@ -258,6 +258,8 @@
isabelle.toggle-breakpoint.label=Toggle Breakpoint
isabelle.toggle-continuous-checking.label=Toggle continuous checking
isabelle.toggle-continuous-checking.shortcut=C+e ENTER
+isabelle.toggle-full-screen.label=Toggle full-screen mode
+isabelle.toggle-full-screen.shortcut=F11
isabelle.toggle-node-required.label=Toggle node required
isabelle.toggle-node-required.shortcut=C+e SPACE
isabelle.tooltip.label=Show tooltip