26 Preferences
(preferences:put-preferences/gui name-list val-list) → any name-list : (listof symbol?) val-list : (listof any/c)
Like put-preferences, but has more sophisticated error handling.
In particular, when it fails to grab a lock, it
waits for three consecutive failures before informing the user
gives the user the opportunity to “steal” the lockfile after the third failure, and
when lock failures occur, it remembers what its arguments were and if any preference save eventually succeeds, all of the past failures are also written at that point.
In addition when an error is raised trying to save a preference to the preference
file, preferences:put-preferences/gui logs the error using log-warning,
instead of raising an exception.
(preferences:get-preference/gui sym [ default]) → any/c sym : symbol?
default : (-> void?) = (λ () (error 'get-preference/gui "unknown pref ~s" sym))
Like get-preference, but has more sophisticated error handling.
In particular, it passes a #:timeout-lock-there argument that
informs the user that the preferences file is locked (and offers the alternative
of not showing the message again).
(preferences:add-panel labels f) → void? labels : (or/c string? (cons/c string? (listof string?)))
f :
(->i ([parent (is-a?/c area-container-window<%>)]) () [_ (parent) (let ([old-children (send parent get-children)]) (and/c (is-a?/c area-container-window<%>) (λ (child) (andmap eq? (append old-children (list child)) (send parent get-children)))))])
preferences:add-preference-panel adds the result of f
with name labels to the preferences dialog box.
The labels determine where this preference panel is placed in the dialog. If the list is just one string, the preferences panel is placed at the top level of the dialog. If there are more strings, a hierarchy of nested panels is created and the new panel is added at the end. If multiple calls to preferences:add-preference-panel pass the same prefix of strings, those panels are placed in the same children.
When the preference dialog is opened for the first time, the function
f is called with a panel, and f is expected to add a new
child panel to it and add whatever preferences configuration controls it
wants to that panel. Then, f’s should return the panel it added.
Adds a preferences panel for configuring options related to editing.
Adds a catch-all preferences panel for options.
Adds a preferences panel for configuring options relating to warnings.
Adds a preferences panel for configuring options related to Racket.
(preferences:add-to-warnings-checkbox-panel proc) → void? proc : ((is-a?/c vertical-panel%) . -> . void?)
Saves proc until the preferences panel is created, when it is
called with the Misc. panel to add new children to the panel.
(preferences:add-to-scheme-checkbox-panel proc) → void? proc : ((is-a?/c vertical-panel%) . -> . void?)
Saves proc until the preferences panel is created, when it is
called with the Racket preferences panel to add new children to the
panel.
(preferences:add-to-editor-checkbox-panel proc) → void? proc : ((is-a?/c vertical-panel%) . -> . void?)
Saves proc until the preferences panel is created, when it is
called with the editor preferences panel to add new children to the
panel.
(preferences:add-to-general-checkbox-panel proc) → void? proc : ((is-a?/c vertical-panel%) . -> . void?)
Saves proc until the preferences panel is created, when it is
called with the general preferences panel to add new children to the
panel.
Adds a font selection preferences panel to the preferences dialog.
Shows the preferences dialog.
Hides the preferences dialog.
(preferences:add-on-close-dialog-callback cb) → void? cb : (-> void?)
Registers cb. Next time the user clicks the OK button the
preferences dialog, all of the cb functions are called, assuming
that each of the callbacks passed to
preferences:add-can-close-dialog-callback succeed.
(preferences:add-can-close-dialog-callback cb) → void? cb : (-> boolean?)
Registers cb. Next time the user clicks the OK button the
preferences dialog, all of the cb functions are called. If any of
them return #f, the dialog is not closed.
See also preferences:add-on-close-dialog-callback.