diff -r e45d6575f893 -r 42ff2b915b1d src/Pure/Admin/component_jedit.scala
--- 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