src/Tools/jEdit/src/jEdit.props

 isabelle.increase-font-size.label=Increase font size
 isabelle.increase-font-size.shortcut2=C+ADD
 isabelle.increase-font-size.shortcut=C+PLUS
 isabelle.increase-font-size2.label=Increase font size (clone)
 isabelle.increase-font-size2.shortcut=C+EQUALS
+isabelle.include-word.label=Include word
+isabelle.include-word-permanently.label=Include word permanently
+isabelle.exclude-word.label=Exclude word
+isabelle.exclude-word-permanently.label=Exclude word permanently
+isabelle.reset-words.label=Reset words
 isabelle.reset-continuous-checking.label=Reset continuous checking
 isabelle.reset-font-size.label=Reset font size
 isabelle.reset-node-required.label=Reset node required
 isabelle.set-continuous-checking.label=Set continuous checking
 isabelle.set-node-required.label=Set node required