From a30f0c2145110bec0f5de66b2799cc2d4cc94272 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 3 Sep 2009 10:04:52 +0000 Subject: [PATCH] saved the decimal style for fractions in drs repl svn: r15865 original commit: a422185219c6dd60d7727eeb870c353170961f39 --- collects/framework/private/main.ss | 2 +- collects/framework/private/number-snip.ss | 4 +++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/main.ss b/collects/framework/private/main.ss index fc55c8ef..2b872ab4 100644 --- a/collects/framework/private/main.ss +++ b/collects/framework/private/main.ss @@ -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) diff --git a/collects/framework/private/number-snip.ss b/collects/framework/private/number-snip.ss index d5a48514..fbb81412 100644 --- a/collects/framework/private/number-snip.ss +++ b/collects/framework/private/number-snip.ss @@ -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)