Use preferences:get/set from framework/preferences.
This commit is contained in:
parent
1a3dec8641
commit
011715353f
|
@ -1,14 +1,13 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(require framework/preferences
|
(require framework/preferences)
|
||||||
unstable/gui/prefs)
|
|
||||||
(provide (all-defined-out))
|
(provide (all-defined-out))
|
||||||
|
|
||||||
;; Frame size preferences
|
;; Frame size preferences
|
||||||
|
|
||||||
(preferences:set-default 'rackunit:frame:width 400 exact-positive-integer?)
|
(preferences:set-default 'rackunit:frame:width 400 exact-positive-integer?)
|
||||||
(preferences:set-default 'rackunit:frame:height 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:width (preferences:get/set 'rackunit:frame:width))
|
||||||
(define pref:height (pref:get/set 'rackunit:frame:height))
|
(define pref:height (preferences:get/set 'rackunit:frame:height))
|
||||||
|
|
||||||
;; CONSTANTS
|
;; CONSTANTS
|
||||||
;; Some of these are obsolete, given the preferences above.
|
;; Some of these are obsolete, given the preferences above.
|
||||||
|
|
Loading…
Reference in New Issue
Block a user