diff --git a/runtime/doc/gui.txt b/runtime/doc/gui.txt index 227ad88872..1658868a50 100644 --- a/runtime/doc/gui.txt +++ b/runtime/doc/gui.txt @@ -432,6 +432,8 @@ Special characters in the list, just before the rhs: * The menu was defined with "nore" to disallow remapping. & The menu was defined with "