--- a/src/Pure/Admin/component_jedit.scala Fri Nov 01 15:40:31 2024 +0100
+++ b/src/Pure/Admin/component_jedit.scala Fri Nov 01 16:53:10 2024 +0100
@@ -316,6 +316,8 @@
isabelle.reset-words.label=Reset non-permanent words
isabelle.select-entity.label=Select all occurences of formal entity at caret
isabelle.select-entity.shortcut=CS+ENTER
+isabelle.select-structure.label=Select structure around selection or caret
+isabelle.select-structure.shortcut=C+7
isabelle.set-continuous-checking.label=Set continuous checking
isabelle.set-node-required.label=Set node required
isabelle.toggle-breakpoint.label=Toggle Breakpoint