.
original commit: 4b8cd809ec86ae5183ffb97240afc33d19910d3e
This commit is contained in:
parent
94c6d16529
commit
1b3bded98e
|
@ -462,7 +462,8 @@
|
||||||
get-info-editor
|
get-info-editor
|
||||||
get-info-panel
|
get-info-panel
|
||||||
show-info
|
show-info
|
||||||
hide-info))
|
hide-info
|
||||||
|
is-info-hidden?))
|
||||||
|
|
||||||
(define magic-space 25)
|
(define magic-space 25)
|
||||||
|
|
||||||
|
@ -514,8 +515,9 @@
|
||||||
|
|
||||||
;; this flag is specific to this frame
|
;; this flag is specific to this frame
|
||||||
;; the true state of the info panel is
|
;; the true state of the info panel is
|
||||||
;; the conjunction of this flag and the
|
;; the combination of this flag and the
|
||||||
;; the 'framework:show-status-line preference
|
;; the 'framework:show-status-line preference
|
||||||
|
;; as shown in update-info-visibility
|
||||||
(define info-hidden? #f)
|
(define info-hidden? #f)
|
||||||
(define/public (hide-info)
|
(define/public (hide-info)
|
||||||
(set! info-hidden? #t)
|
(set! info-hidden? #t)
|
||||||
|
@ -523,6 +525,7 @@
|
||||||
(define/public (show-info)
|
(define/public (show-info)
|
||||||
(set! info-hidden? #f)
|
(set! info-hidden? #f)
|
||||||
(update-info-visibility (preferences:get 'framework:show-status-line)))
|
(update-info-visibility (preferences:get 'framework:show-status-line)))
|
||||||
|
(define/public (is-info-hidden?) info-hidden?)
|
||||||
(define/private (update-info-visibility pref-value)
|
(define/private (update-info-visibility pref-value)
|
||||||
(cond
|
(cond
|
||||||
[(or info-hidden? (not pref-value))
|
[(or info-hidden? (not pref-value))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user