adjusted case of 'show line numbers' to match menu / prefs distinction
This commit is contained in:
parent
84fc640752
commit
3b56f81b10
|
@ -3799,15 +3799,15 @@ module browser threading seems wrong.
|
||||||
|
|
||||||
(new menu:can-restore-menu-item%
|
(new menu:can-restore-menu-item%
|
||||||
[label (if (show-line-numbers?)
|
[label (if (show-line-numbers?)
|
||||||
(string-constant hide-line-numbers)
|
(string-constant hide-line-numbers/menu)
|
||||||
(string-constant show-line-numbers))]
|
(string-constant show-line-numbers/menu))]
|
||||||
[parent (get-show-menu)]
|
[parent (get-show-menu)]
|
||||||
[callback (lambda (self event)
|
[callback (lambda (self event)
|
||||||
(define value (preferences:get 'drracket:show-line-numbers?))
|
(define value (preferences:get 'drracket:show-line-numbers?))
|
||||||
(send self set-label
|
(send self set-label
|
||||||
(if value
|
(if value
|
||||||
(string-constant show-line-numbers)
|
(string-constant show-line-numbers/menu)
|
||||||
(string-constant hide-line-numbers)))
|
(string-constant hide-line-numbers/menu)))
|
||||||
(preferences:set 'drracket:show-line-numbers? (not value))
|
(preferences:set 'drracket:show-line-numbers? (not value))
|
||||||
(show-line-numbers! (not value)))])
|
(show-line-numbers! (not value)))])
|
||||||
|
|
||||||
|
|
|
@ -448,8 +448,9 @@ please adhere to these guidelines:
|
||||||
(show-interactions-on-execute "Automatically open interactions window when running a program")
|
(show-interactions-on-execute "Automatically open interactions window when running a program")
|
||||||
(switch-to-module-language-automatically "Automatically switch to the module language when opening a module")
|
(switch-to-module-language-automatically "Automatically switch to the module language when opening a module")
|
||||||
(interactions-beside-definitions "Put the interactions window beside the definitions window") ;; in preferences, below the checkbox one line above this one
|
(interactions-beside-definitions "Put the interactions window beside the definitions window") ;; in preferences, below the checkbox one line above this one
|
||||||
(show-line-numbers "Show Line Numbers")
|
(show-line-numbers "Show line numbers")
|
||||||
(hide-line-numbers "Hide Line Numbers")
|
(show-line-numbers/menu "Show Line Numbers") ;; just like the above, but capitalized for appearance in a menu item
|
||||||
|
(hide-line-numbers/menu "Hide Line Numbers")
|
||||||
(limit-interactions-size "Limit interactions size")
|
(limit-interactions-size "Limit interactions size")
|
||||||
(background-color "Background Color")
|
(background-color "Background Color")
|
||||||
(default-text-color "Default text") ;; used for configuring colors, but doesn't need the word "color"
|
(default-text-color "Default text") ;; used for configuring colors, but doesn't need the word "color"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user