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

Fix lots of indentation mistakes.

Browse Source 
(Found by my ayatollah script...)

original commit: af6be85ff576e475753a46bd3f1690eb8bf88a28
This commit is contained in:
Eli Barzilay 2013-03-14 07:15:43 -04:00
parent c1e98b7991
commit 78f457b23e
3 changed files with 26 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/macro-debugger/model/deriv-parser.rkt
View File

@ -130,7 +130,7 @@
[(enter-check (? CheckImmediateMacro/Inner) exit-check)
($2 $1 $3)])
(CheckImmediateMacro/Inner
(#:args le1 e2)
(#:args le1 e2)
[(!)
(make p:stop le1 e2 null $1)]
[(visit Resolves (? MacroStep) return (? CheckImmediateMacro/Inner))

14
collects/macro-debugger/syntax-browser/display.rkt
View File

@ -106,12 +106,12 @@
(define lazy-interval-map-init
(delay
(with-log-time "forcing clickback mapping"
(uninterruptible
(for ([range (send/i range range<%> all-ranges)])
(let ([stx (range-obj range)]
[start (range-start range)]
[end (range-end range)])
(interval-map-set! mapping (+ start-position start) (+ start-position end) stx)))))))
(uninterruptible
(for ([range (send/i range range<%> all-ranges)])
(let ([stx (range-obj range)]
[start (range-start range)]
[end (range-end range)])
(interval-map-set! mapping (+ start-position start) (+ start-position end) stx)))))))
(define (the-callback position)
(force lazy-interval-map-init)
(send/i controller selection-manager<%> set-selected-syntax
@ -123,7 +123,7 @@
;; Clears all highlighting and reapplies all non-foreground styles.
(define/public (refresh)
(with-log-time "refresh"
(with-unlock text
(with-unlock text
(uninterruptible
(let ([undo-select/highlight-d (get-undo-select/highlight-d)])
(for ([r (in-list to-undo-styles)])

36
collects/macro-debugger/syntax-browser/widget.rkt
View File

@ -134,32 +134,32 @@
(define range (send/i display display<%> get-range))
(define offset (send/i display display<%> get-start-position))
(with-log-time "substitutions"
(for ([subst (in-list substitutions)])
(for ([r (in-list (send/i range range<%> get-ranges (car subst)))])
(send -text insert (cdr subst)
(+ offset (car r))
(+ offset (cdr r))
#f)
(send -text change-style
(code-style -text (send/i config config<%> get-syntax-font-size))
(+ offset (car r))
(+ offset (cdr r))
#f))))
(for ([subst (in-list substitutions)])
(for ([r (in-list (send/i range range<%> get-ranges (car subst)))])
(send -text insert (cdr subst)
(+ offset (car r))
(+ offset (cdr r))
#f)
(send -text change-style
(code-style -text (send/i config config<%> get-syntax-font-size))
(+ offset (car r))
(+ offset (cdr r))
#f))))
;; Apply highlighting
(with-log-time "highlights"
(for ([hi-stxs (in-list hi-stxss)] [hi-color (in-list hi-colors)])
(send/i display display<%> highlight-syntaxes hi-stxs hi-color)))
(for ([hi-stxs (in-list hi-stxss)] [hi-color (in-list hi-colors)])
(send/i display display<%> highlight-syntaxes hi-stxs hi-color)))
;; Underline binders (and shifted binders)
(with-log-time "underline binders"
(send/i display display<%> underline-syntaxes
(let ([binder-list (hash-map binders (lambda (k v) k))])
(append (apply append (map get-shifted binder-list))
binder-list))))
(send/i display display<%> underline-syntaxes
(let ([binder-list (hash-map binders (lambda (k v) k))])
(append (apply append (map get-shifted binder-list))
binder-list))))
(send display refresh)
;; Make arrows (& billboards, when enabled)
(with-log-time "add arrows"
(when (send config get-draw-arrows?)
(when (send config get-draw-arrows?)
(define (definite-phase id)
(and definites
(or (eomap-ref definites id #f)