Replace uses of unstable/gui/notify with framework/notify.
This commit is contained in:
parent
0d57071669
commit
b40adaf520
|
@ -3,7 +3,7 @@
|
||||||
racket/class/iop
|
racket/class/iop
|
||||||
macro-debugger/syntax-browser/interfaces
|
macro-debugger/syntax-browser/interfaces
|
||||||
macro-debugger/syntax-browser/partition
|
macro-debugger/syntax-browser/partition
|
||||||
unstable/gui/notify)
|
framework/notify)
|
||||||
(provide controller%)
|
(provide controller%)
|
||||||
|
|
||||||
;; displays-manager-mixin
|
;; displays-manager-mixin
|
||||||
|
@ -26,7 +26,7 @@
|
||||||
(define selection-manager-mixin
|
(define selection-manager-mixin
|
||||||
(mixin (displays-manager<%>) (selection-manager<%>)
|
(mixin (displays-manager<%>) (selection-manager<%>)
|
||||||
(inherit-field displays)
|
(inherit-field displays)
|
||||||
(define-notify selected-syntax (new notify-box% (value #f)))
|
(notify:define-notify selected-syntax (new notify:notify-box% (value #f)))
|
||||||
|
|
||||||
(super-new)
|
(super-new)
|
||||||
(listen-selected-syntax
|
(listen-selected-syntax
|
||||||
|
@ -52,7 +52,7 @@
|
||||||
(define secondary-relation-mixin
|
(define secondary-relation-mixin
|
||||||
(mixin (displays-manager<%>) (secondary-relation<%>)
|
(mixin (displays-manager<%>) (secondary-relation<%>)
|
||||||
(inherit-field displays)
|
(inherit-field displays)
|
||||||
(define-notify identifier=? (new notify-box% (value #f)))
|
(notify:define-notify identifier=? (new notify:notify-box% (value #f)))
|
||||||
|
|
||||||
(listen-identifier=?
|
(listen-identifier=?
|
||||||
(lambda (name+proc)
|
(lambda (name+proc)
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
(require racket/class
|
(require racket/class
|
||||||
racket/gui/base
|
racket/gui/base
|
||||||
racket/pretty
|
racket/pretty
|
||||||
unstable/gui/notify
|
framework/notify
|
||||||
macro-debugger/syntax-browser/interfaces)
|
macro-debugger/syntax-browser/interfaces)
|
||||||
(provide syntax-keymap%)
|
(provide syntax-keymap%)
|
||||||
|
|
||||||
|
@ -99,7 +99,7 @@
|
||||||
(callback
|
(callback
|
||||||
(lambda (i e)
|
(lambda (i e)
|
||||||
(call-function "clear-syntax-selection" i e))))
|
(call-function "clear-syntax-selection" i e))))
|
||||||
(menu-option/notify-box menu "View syntax properties"
|
(notify:menu-option/notify-box menu "View syntax properties"
|
||||||
(get-field props-shown? config))
|
(get-field props-shown? config))
|
||||||
(let ([pretty-menu
|
(let ([pretty-menu
|
||||||
(new menu%
|
(new menu%
|
||||||
|
|
|
@ -2,7 +2,7 @@
|
||||||
(require racket/class
|
(require racket/class
|
||||||
framework/preferences
|
framework/preferences
|
||||||
macro-debugger/syntax-browser/interfaces
|
macro-debugger/syntax-browser/interfaces
|
||||||
unstable/gui/notify
|
framework/notify
|
||||||
unstable/gui/prefs)
|
unstable/gui/prefs)
|
||||||
(provide prefs-base%
|
(provide prefs-base%
|
||||||
syntax-prefs-base%
|
syntax-prefs-base%
|
||||||
|
@ -28,22 +28,22 @@
|
||||||
(define prefs-base%
|
(define prefs-base%
|
||||||
(class object%
|
(class object%
|
||||||
;; suffix-option : SuffixOption
|
;; suffix-option : SuffixOption
|
||||||
(define-notify suffix-option (new notify-box% (value 'over-limit)))
|
(notify:define-notify suffix-option (new notify:notify-box% (value 'over-limit)))
|
||||||
|
|
||||||
;; pretty-abbrev? : boolean
|
;; pretty-abbrev? : boolean
|
||||||
(define-notify pretty-abbrev? (new notify-box% (value #t)))
|
(notify:define-notify pretty-abbrev? (new notify:notify-box% (value #t)))
|
||||||
|
|
||||||
;; pretty-styles : ImmutableHash[symbol -> symbol]
|
;; pretty-styles : ImmutableHash[symbol -> symbol]
|
||||||
(define-notify pretty-styles
|
(notify:define-notify pretty-styles
|
||||||
(new notify-box% (value (make-immutable-hasheq null))))
|
(new notify:notify-box% (value (make-immutable-hasheq null))))
|
||||||
|
|
||||||
;; syntax-font-size : number/#f
|
;; syntax-font-size : number/#f
|
||||||
;; When non-false, overrides the default font size
|
;; When non-false, overrides the default font size
|
||||||
(define-notify syntax-font-size (new notify-box% (value #f)))
|
(notify:define-notify syntax-font-size (new notify:notify-box% (value #f)))
|
||||||
|
|
||||||
;; colors : (listof string)
|
;; colors : (listof string)
|
||||||
(define-notify colors
|
(notify:define-notify colors
|
||||||
(new notify-box% (value the-colors)))
|
(new notify:notify-box% (value the-colors)))
|
||||||
|
|
||||||
(super-new)))
|
(super-new)))
|
||||||
|
|
||||||
|
@ -67,7 +67,7 @@
|
||||||
(init readonly?)
|
(init readonly?)
|
||||||
|
|
||||||
(define-syntax-rule (define-pref-notify* (name pref) ...)
|
(define-syntax-rule (define-pref-notify* (name pref) ...)
|
||||||
(begin (define-notify name (notify-box/pref pref #:readonly? readonly?)) ...))
|
(begin (notify:define-notify name (notify:notify-box/pref pref #:readonly? readonly?)) ...))
|
||||||
|
|
||||||
(define-pref-notify*
|
(define-pref-notify*
|
||||||
(width pref:width)
|
(width pref:width)
|
||||||
|
|
|
@ -8,7 +8,7 @@
|
||||||
"stepper.rkt"
|
"stepper.rkt"
|
||||||
(prefix-in sb: "../syntax-browser/embed.rkt")
|
(prefix-in sb: "../syntax-browser/embed.rkt")
|
||||||
(prefix-in sb: macro-debugger/syntax-browser/interfaces)
|
(prefix-in sb: macro-debugger/syntax-browser/interfaces)
|
||||||
unstable/gui/notify)
|
framework/notify)
|
||||||
(provide macro-stepper-frame-mixin)
|
(provide macro-stepper-frame-mixin)
|
||||||
|
|
||||||
(define-syntax override/return-false
|
(define-syntax override/return-false
|
||||||
|
@ -124,7 +124,7 @@
|
||||||
(callback (lambda _ (send/i widget widget<%> show-in-new-frame))))
|
(callback (lambda _ (send/i widget widget<%> show-in-new-frame))))
|
||||||
(new separator-menu-item% (parent file-menu)))
|
(new separator-menu-item% (parent file-menu)))
|
||||||
|
|
||||||
(menu-option/notify-box stepper-menu
|
(notify:menu-option/notify-box stepper-menu
|
||||||
"View syntax properties"
|
"View syntax properties"
|
||||||
(get-field props-shown? config))
|
(get-field props-shown? config))
|
||||||
|
|
||||||
|
@ -160,7 +160,7 @@
|
||||||
|
|
||||||
(new separator-menu-item% (parent stepper-menu))
|
(new separator-menu-item% (parent stepper-menu))
|
||||||
|
|
||||||
(menu-option/notify-box stepper-menu
|
(notify:menu-option/notify-box stepper-menu
|
||||||
"Show macro hiding panel"
|
"Show macro hiding panel"
|
||||||
(get-field show-hiding-panel? config))
|
(get-field show-hiding-panel? config))
|
||||||
|
|
||||||
|
@ -186,36 +186,36 @@
|
||||||
'always
|
'always
|
||||||
'over-limit))
|
'over-limit))
|
||||||
(send/i widget widget<%> update/preserve-view))))
|
(send/i widget widget<%> update/preserve-view))))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Factor out common context?"
|
"Factor out common context?"
|
||||||
(get-field split-context? config))
|
(get-field split-context? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Highlight redex/contractum"
|
"Highlight redex/contractum"
|
||||||
(get-field highlight-foci? config))
|
(get-field highlight-foci? config))
|
||||||
#|
|
#|
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Highlight frontier"
|
"Highlight frontier"
|
||||||
(get-field highlight-frontier? config))
|
(get-field highlight-frontier? config))
|
||||||
|#
|
|#
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Include renaming steps"
|
"Include renaming steps"
|
||||||
(get-field show-rename-steps? config))
|
(get-field show-rename-steps? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"One term at a time"
|
"One term at a time"
|
||||||
(get-field one-by-one? config))
|
(get-field one-by-one? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Refresh on resize"
|
"Refresh on resize"
|
||||||
(get-field refresh-on-resize? config))
|
(get-field refresh-on-resize? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Close old stepper on Run"
|
"Close old stepper on Run"
|
||||||
(get-field close-on-reset-console? config))
|
(get-field close-on-reset-console? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Draw binding arrows"
|
"Draw binding arrows"
|
||||||
(get-field draw-arrows? config))
|
(get-field draw-arrows? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Enable reader abbreviations"
|
"Enable reader abbreviations"
|
||||||
(get-field pretty-abbrev? config))
|
(get-field pretty-abbrev? config))
|
||||||
(menu-option/notify-box extras-menu
|
(notify:menu-option/notify-box extras-menu
|
||||||
"Extra navigation"
|
"Extra navigation"
|
||||||
(get-field extra-navigation? config)))
|
(get-field extra-navigation? config)))
|
||||||
|
|
||||||
|
|
|
@ -6,7 +6,7 @@
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
macro-debugger/model/hiding-policies
|
macro-debugger/model/hiding-policies
|
||||||
macro-debugger/util/mpi
|
macro-debugger/util/mpi
|
||||||
unstable/gui/notify)
|
framework/notify)
|
||||||
(provide macro-hiding-prefs-widget%)
|
(provide macro-hiding-prefs-widget%)
|
||||||
|
|
||||||
(define mode:disable "Disable")
|
(define mode:disable "Disable")
|
||||||
|
@ -74,7 +74,7 @@ TODO
|
||||||
(parent customize-panel)))
|
(parent customize-panel)))
|
||||||
|
|
||||||
(define mode-selector
|
(define mode-selector
|
||||||
(choice/notify-box
|
(notify:choice/notify-box
|
||||||
top-line-panel
|
top-line-panel
|
||||||
"Macro hiding: "
|
"Macro hiding: "
|
||||||
(list mode:disable mode:standard mode:custom)
|
(list mode:disable mode:standard mode:custom)
|
||||||
|
|
|
@ -3,7 +3,7 @@
|
||||||
framework/preferences
|
framework/preferences
|
||||||
"interfaces.rkt"
|
"interfaces.rkt"
|
||||||
"../syntax-browser/prefs.rkt"
|
"../syntax-browser/prefs.rkt"
|
||||||
unstable/gui/notify
|
framework/notify
|
||||||
unstable/gui/prefs)
|
unstable/gui/prefs)
|
||||||
(provide pref:macro-step-limit
|
(provide pref:macro-step-limit
|
||||||
pref:close-on-reset-console?
|
pref:close-on-reset-console?
|
||||||
|
@ -59,7 +59,7 @@
|
||||||
(init-field readonly?)
|
(init-field readonly?)
|
||||||
|
|
||||||
(define-syntax-rule (define-pref-notify* (name pref) ...)
|
(define-syntax-rule (define-pref-notify* (name pref) ...)
|
||||||
(begin (define-notify name (notify-box/pref pref #:readonly? readonly?)) ...))
|
(begin (notify:define-notify name (notify:notify-box/pref pref #:readonly? readonly?)) ...))
|
||||||
|
|
||||||
(define-pref-notify*
|
(define-pref-notify*
|
||||||
(width pref:width)
|
(width pref:width)
|
||||||
|
|
|
@ -14,7 +14,7 @@
|
||||||
"cursor.rkt"
|
"cursor.rkt"
|
||||||
"gui-util.rkt"
|
"gui-util.rkt"
|
||||||
"../syntax-browser/util.rkt"
|
"../syntax-browser/util.rkt"
|
||||||
unstable/gui/notify
|
framework/notify
|
||||||
images/compile-time
|
images/compile-time
|
||||||
images/gui
|
images/gui
|
||||||
(for-syntax racket/base
|
(for-syntax racket/base
|
||||||
|
@ -86,7 +86,7 @@
|
||||||
(cursor:next terms))
|
(cursor:next terms))
|
||||||
|
|
||||||
;; current-step-index : notify of number/#f
|
;; current-step-index : notify of number/#f
|
||||||
(define-notify current-step-index (new notify-box% (value #f)))
|
(notify:define-notify current-step-index (new notify:notify-box% (value #f)))
|
||||||
|
|
||||||
;; add-deriv : Deriv -> void
|
;; add-deriv : Deriv -> void
|
||||||
(define/public (add-deriv d)
|
(define/public (add-deriv d)
|
||||||
|
|
Loading…
Reference in New Issue
Block a user