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