From 8d8eaf0a415f7518c5ff4a0fb6020f2819c28b8c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Tue, 18 Aug 2015 16:19:12 -0500 Subject: [PATCH] Move prefs:get/set from unstable/gui/prefs to framework/preferences. --- gui-lib/framework/preferences.rkt | 13 +++++++++++++ gui-lib/unstable/gui/prefs.rkt | 9 --------- 2 files changed, 13 insertions(+), 9 deletions(-) delete mode 100644 gui-lib/unstable/gui/prefs.rkt diff --git a/gui-lib/framework/preferences.rkt b/gui-lib/framework/preferences.rkt index 7f1b977d..a05bbfdc 100644 --- a/gui-lib/framework/preferences.rkt +++ b/gui-lib/framework/preferences.rkt @@ -171,6 +171,11 @@ the state transitions / contracts are: (define pref-save-callbacks '()) +(define (preferences:get/set sym) + (case-lambda + [() (preferences:get sym)] + [(v) (preferences:set sym v)])) + (define (preferences:register-save-callback f) (define key (gensym)) (set! pref-save-callbacks (cons (list key f) pref-save-callbacks)) @@ -377,6 +382,14 @@ the state transitions / contracts are: if the preference's default has not been set. See also @racket[preferences:set-default].}) + + (proc-doc/names + preferences:get/set + (-> symbol? (case-> (-> any/c) (-> any/c void?))) + (pref) + @{Returns a procedure that when applied to zero arguments retrieves the + current value of the preference named @racket[pref] and when + applied to one argument updates the preference named @racket[pref].}) (proc-doc/names preferences:add-callback diff --git a/gui-lib/unstable/gui/prefs.rkt b/gui-lib/unstable/gui/prefs.rkt deleted file mode 100644 index f25c0eca..00000000 --- a/gui-lib/unstable/gui/prefs.rkt +++ /dev/null @@ -1,9 +0,0 @@ -#lang racket/base -;; owner: ryanc -(require framework/preferences) -(provide pref:get/set) - -(define (pref:get/set sym) - (case-lambda - [() (preferences:get sym)] - [(v) (preferences:set sym v)]))