get rid of the obscenely long menu item name
closes PR 12423
This commit is contained in:
parent
8f7572bc5e
commit
2899fd0903
|
@ -3101,7 +3101,7 @@ module browser threading seems wrong.
|
|||
(string-constant interactions-menu-item-help-string)))
|
||||
|
||||
(new menu:can-restore-menu-item%
|
||||
[label (string-constant put-interactions-beside-definitions)]
|
||||
[label (string-constant use-horizontal-layout)]
|
||||
[parent (get-show-menu)]
|
||||
[callback (λ (x y)
|
||||
(define vertical? (send resizable-panel get-vertical?))
|
||||
|
@ -3117,9 +3117,9 @@ module browser threading seems wrong.
|
|||
(update-shown)))]
|
||||
[demand-callback
|
||||
(λ (mi) (send mi set-label (if (send resizable-panel get-vertical?)
|
||||
(string-constant put-interactions-beside-definitions)
|
||||
(string-constant put-interactions-below-definitions))))]
|
||||
[shortcut #\d]
|
||||
(string-constant use-horizontal-layout)
|
||||
(string-constant use-vertical-layout))))]
|
||||
[shortcut #\l]
|
||||
[shortcut-prefix (cons 'shift (get-default-shortcut-prefix))])
|
||||
|
||||
(new separator-menu-item% [parent (get-show-menu)])
|
||||
|
|
|
@ -906,8 +906,8 @@ please adhere to these guidelines:
|
|||
(definitions-menu-item-help-string "Show/Hide the definitions window")
|
||||
(show-interactions-menu-item-label "Show &Interactions")
|
||||
(hide-interactions-menu-item-label "Hide &Interactions")
|
||||
(put-interactions-beside-definitions "Put the Interactions Window Beside the Definitions Window")
|
||||
(put-interactions-below-definitions "Put the Interactions Window Below the Definitions Window")
|
||||
(use-horizontal-layout "Use Horizontal Layout")
|
||||
(use-vertical-layout "Use Vertical Layout")
|
||||
(interactions-menu-item-help-string "Show/Hide the interactions window")
|
||||
(toolbar "Toolbar")
|
||||
(toolbar-on-top "Toolbar On Top")
|
||||
|
|
|
@ -803,8 +803,8 @@
|
|||
(definitions-menu-item-help-string "Definitionsfenster ein-/ausblenden")
|
||||
(show-interactions-menu-item-label "&Interaktionen einblenden")
|
||||
(hide-interactions-menu-item-label "&Interaktionen ausblenden")
|
||||
(put-interactions-beside-definitions "Interaktionsfenster neben die Definitionen setzen")
|
||||
(put-interactions-below-definitions "Interaktionsfenster unter die Definitionen setzen")
|
||||
(use-horizontal-layout "Interaktionsfenster neben die Definitionen setzen")
|
||||
(use-vertical-layout "Interaktionsfenster unter die Definitionen setzen")
|
||||
(interactions-menu-item-help-string "Interaktionsfenster ein-/ausblenden")
|
||||
(toolbar "Toolbar")
|
||||
(toolbar-on-top "Toolbar oben")
|
||||
|
|
Loading…
Reference in New Issue
Block a user