From a7b8ae36ffbd20b5721f1c9b31c2881619f52609 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 7 Dec 1998 20:38:44 +0000 Subject: [PATCH] ... original commit: 96e645a9638d7bfe9c2baa5bf4411f8427517f12 --- collects/framework/prefs.ss | 2 +- collects/framework/splash.ss | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/framework/prefs.ss b/collects/framework/prefs.ss index 1b26a015..09354df0 100644 --- a/collects/framework/prefs.ss +++ b/collects/framework/prefs.ss @@ -421,7 +421,7 @@ button% horiz (lambda (button evt) (let ([new-value - (get-choice-from-user + (get-choices-from-user "Fonts" (format "Please choose a new ~a font" name) diff --git a/collects/framework/splash.ss b/collects/framework/splash.ss index 809cac78..940e5ed8 100644 --- a/collects/framework/splash.ss +++ b/collects/framework/splash.ss @@ -13,7 +13,7 @@ default)))] [(set-resource) (lambda (name value) - (write-resource "mred" name value (find-path 'setup-file)))] + (write-resource "mred" name value (find-graphical-system-path 'setup-file)))] [(_) (begin (unless filename