From 011715353ff22ace176ae33aa50f5d980fb2a40d Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 18 Aug 2015 16:26:40 -0500 Subject: [PATCH] Use preferences:get/set from framework/preferences. --- rackunit-gui/rackunit/private/gui/config.rkt | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/rackunit-gui/rackunit/private/gui/config.rkt b/rackunit-gui/rackunit/private/gui/config.rkt index dbfee0f..b0d3f81 100644 --- a/rackunit-gui/rackunit/private/gui/config.rkt +++ b/rackunit-gui/rackunit/private/gui/config.rkt @@ -1,14 +1,13 @@ #lang racket/base -(require framework/preferences - unstable/gui/prefs) +(require framework/preferences) (provide (all-defined-out)) ;; Frame size preferences (preferences:set-default 'rackunit:frame:width 400 exact-positive-integer?) (preferences:set-default 'rackunit:frame:height 400 exact-positive-integer?) -(define pref:width (pref:get/set 'rackunit:frame:width)) -(define pref:height (pref:get/set 'rackunit:frame:height)) +(define pref:width (preferences:get/set 'rackunit:frame:width)) +(define pref:height (preferences:get/set 'rackunit:frame:height)) ;; CONSTANTS ;; Some of these are obsolete, given the preferences above.