diff options
Diffstat (limited to 'packages')
| -rw-r--r-- | packages/patches/help_browser-0.38.4.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/packages/patches/help_browser-0.38.4.patch b/packages/patches/help_browser-0.38.4.patch index 2497217c..a88324b4 100644 --- a/packages/patches/help_browser-0.38.4.patch +++ b/packages/patches/help_browser-0.38.4.patch @@ -267,9 +267,9 @@ diff -u -w -r1.7.2.4 u_main.tk - } - - $mbar.$helpmenuname add command -label {1 manual...} \ -+ $mbar.help add command -label {Pure Documentation Browser} \ ++ $mbar.help add command -label {Browser} \ + -command {menu_doc_browser $help_top_directory} -+ $mbar.help add command -label {Pd Manual} \ ++ $mbar.help add command -label {Manual} \ -command {menu_doc_open doc/1.manual index.htm} - doc_submenu $mbar.$helpmenuname 2.control.examples - doc_submenu $mbar.$helpmenuname 3.audio.examples |