suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Rackety

Browse Source
This commit is contained in:
Robby Findler 2013-01-31 11:22:40 -06:00
parent a3cde5fb42
commit 74c97cfc90
1 changed files with 21 additions and 21 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
collects/drracket/private/syncheck/gui.rkt
View File

@ -636,12 +636,12 @@ If the namespace does not, they are colored the unbound color.
(syncheck:add-menu (syncheck:add-menu
text start-pos end-pos id text start-pos end-pos id
(λ (menu) (λ (menu)
(instantiate menu-item% () (new menu-item%
(parent menu) [parent menu]
(label (gui-utils:format-literal-label "~a" the-label)) [label (gui-utils:format-literal-label "~a" the-label)]
(callback [callback
(λ (x y) (λ (x y)
(visit-docs-url))))))) (visit-docs-url))]))))
;; no longer used, but must be here for backwards compatibility ;; no longer used, but must be here for backwards compatibility
(define/public (syncheck:add-rename-menu id to-be-renamed/poss name-dup?) (void)) (define/public (syncheck:add-rename-menu id to-be-renamed/poss name-dup?) (void))
@ -1790,17 +1790,17 @@ If the namespace does not, they are colored the unbound color.
(inner (void) after-percentage-change)) (inner (void) after-percentage-change))
(super-new)) (super-new))
[parent (super get-definitions/interactions-panel-parent)])) [parent (super get-definitions/interactions-panel-parent)]))
(set! report-error-panel (instantiate horizontal-panel% () (set! report-error-panel (new horizontal-panel%
(parent report-error-parent-panel) [parent report-error-parent-panel]
(stretchable-height #f) [stretchable-height #f]
(alignment '(center center)) [alignment '(center center)]
(style '(border)))) [style '(border)]))
(send report-error-parent-panel change-children (λ (l) null)) (send report-error-parent-panel change-children (λ (l) null))
(let ([message-panel (instantiate vertical-panel% () (let ([message-panel (new vertical-panel%
(parent report-error-panel) [parent report-error-panel]
(stretchable-width #f) [stretchable-width #f]
(stretchable-height #f) [stretchable-height #f]
(alignment '(left center)))]) [alignment '(left center)])])
(make-object message% (string-constant check-syntax) message-panel) (make-object message% (string-constant check-syntax) message-panel)
(make-object message% (string-constant cs-error-message) message-panel)) (make-object message% (string-constant cs-error-message) message-panel))
(set! report-error-canvas (new editor-canvas% (set! report-error-canvas (new editor-canvas%
@ -1808,11 +1808,11 @@ If the namespace does not, they are colored the unbound color.
(editor (send (get-current-tab) get-error-report-text)) (editor (send (get-current-tab) get-error-report-text))
(line-count 3) (line-count 3)
(style '(no-hscroll)))) (style '(no-hscroll))))
(instantiate button% () (new button%
(label (string-constant hide)) [label (string-constant hide)]
(parent report-error-panel) [parent report-error-panel]
(callback (λ (x y) (hide-error-report))) [callback (λ (x y) (hide-error-report))]
(stretchable-height #t)) [stretchable-height #t])
(define res (make-object vertical-panel% report-error-parent-panel)) (define res (make-object vertical-panel% report-error-parent-panel))
res) res)