..
original commit: a0d2a999339aa78d03d9ecb190b4ddc2cd67706b
This commit is contained in:
parent
81d5917125
commit
97c76cde32
|
@ -9,7 +9,8 @@
|
||||||
"../macro.ss"
|
"../macro.ss"
|
||||||
(lib "etc.ss")
|
(lib "etc.ss")
|
||||||
(lib "mred-sig.ss" "mred")
|
(lib "mred-sig.ss" "mred")
|
||||||
(lib "file.ss"))
|
(lib "file.ss")
|
||||||
|
(lib "list.ss"))
|
||||||
|
|
||||||
(provide editor@)
|
(provide editor@)
|
||||||
|
|
||||||
|
@ -375,7 +376,7 @@
|
||||||
[(eq? (system-type) 'unix)
|
[(eq? (system-type) 'unix)
|
||||||
(lambda () (get-face-list))]
|
(lambda () (get-face-list))]
|
||||||
[else
|
[else
|
||||||
(let ([compute-ans
|
(let ([compute-fixed-faces
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(let* ([canvas (make-object canvas% (make-object frame% "bogus"))]
|
(let* ([canvas (make-object canvas% (make-object frame% "bogus"))]
|
||||||
[dc (send canvas get-dc)])
|
[dc (send canvas get-dc)])
|
||||||
|
@ -393,7 +394,9 @@
|
||||||
[ans #f])
|
[ans #f])
|
||||||
(lambda ()
|
(lambda ()
|
||||||
(unless ans
|
(unless ans
|
||||||
(set! ans (compute-ans)))
|
(set! ans (compute-fixed-faces))
|
||||||
|
(set! ans (cons (get-family-builtin-face 'modern)
|
||||||
|
(remove (get-family-builtin-face 'modern) ans))))
|
||||||
ans))]))
|
ans))]))
|
||||||
|
|
||||||
(define -keymap<%> (interface (basic<%>) get-keymaps))
|
(define -keymap<%> (interface (basic<%>) get-keymaps))
|
||||||
|
|
|
@ -140,7 +140,14 @@
|
||||||
(hash-table-get defaults p (lambda () (k #f)))
|
(hash-table-get defaults p (lambda () (k #f)))
|
||||||
#t))
|
#t))
|
||||||
|
|
||||||
|
;; set : symbol any -> void
|
||||||
|
;; updates the preference `p' and records it as changed
|
||||||
(define (set p value)
|
(define (set p value)
|
||||||
|
(raw-set p value))
|
||||||
|
|
||||||
|
;; raw-set : symbol any -> void
|
||||||
|
;; updates the preference, but without recording it as changed
|
||||||
|
(define (raw-set p value)
|
||||||
(let* ([pref (hash-table-get preferences p (lambda () #f))])
|
(let* ([pref (hash-table-get preferences p (lambda () #f))])
|
||||||
(unless (default-set? p)
|
(unless (default-set? p)
|
||||||
(error 'preferences:set "tried to set a preference but no default set for ~e, with ~e"
|
(error 'preferences:set "tried to set a preference but no default set for ~e, with ~e"
|
||||||
|
|
Loading…
Reference in New Issue
Block a user