saved the decimal style for fractions in drs repl
svn: r15865
This commit is contained in:
parent
799027d40f
commit
a422185219
|
@ -96,7 +96,7 @@
|
|||
(preferences:add-callback 'framework:special-meta-key (λ (p v) (map-command-as-meta-key v)))
|
||||
(map-command-as-meta-key (preferences:get 'framework:special-meta-key))
|
||||
|
||||
(preferences:set-default 'framework:fraction-snip-style 'mixed (λ (x) (memq x '(mixed improper))))
|
||||
(preferences:set-default 'framework:fraction-snip-style 'mixed (λ (x) (memq x '(mixed improper decimal))))
|
||||
|
||||
(preferences:set-default 'framework:standard-style-list:font-name
|
||||
(get-family-builtin-face 'modern)
|
||||
|
|
|
@ -466,7 +466,9 @@
|
|||
(make-object checkable-menu-item%
|
||||
(string-constant show-decimal-expansion)
|
||||
menu
|
||||
(λ (x y) (set-fraction-view 'decimal)))]
|
||||
(λ (x y)
|
||||
(set-fraction-view 'decimal)
|
||||
(preferences:set 'framework:fraction-snip-style 'decimal)))]
|
||||
[mixed-fraction-item
|
||||
(make-object checkable-menu-item%
|
||||
(string-constant show-mixed-fraction-view)
|
||||
|
|
Loading…
Reference in New Issue
Block a user