Rackety: shrink max linewidth to below 102

This commit is contained in:
Robby Findler 2013-06-22 15:31:30 -05:00
parent a8473ec1aa
commit 2a644957c2

View File

@ -165,8 +165,10 @@
table) table)
(define/private (on-this-platform? cs) (define/private (on-this-platform? cs)
(let* ([splits (map (λ (x) (all-but-last (split-out #\: x))) (split-out #\; (string->list cs)))] (define splits
[has-key? (λ (k) (ormap (λ (x) (member (list k) x)) splits))]) (for/list ([x (in-list (split-out #\; (string->list cs)))])
(all-but-last (split-out #\: x))))
(define (has-key? k) (ormap (λ (x) (member (list k) x)) splits))
(cond (cond
[(eq? (system-type) 'windows) [(eq? (system-type) 'windows)
(cond (cond
@ -188,7 +190,7 @@
[else #t])] [else #t])]
[else [else
;; just in case new platforms come along .... ;; just in case new platforms come along ....
#t]))) #t]))
(define/private (all-but-last l) (define/private (all-but-last l)
(cond (cond
@ -962,9 +964,9 @@
(define (meet s t) (define (meet s t)
(substring s 0 (string-prefix-length s t 0))) (substring s 0 (string-prefix-length s t 0)))
(λ (text event) (λ (text event)
(let ([pos (send text get-start-position)]) (define pos (send text get-start-position))
(when (= pos (send text get-end-position)) (when (= pos (send text get-end-position))
(let ([slash (send text find-string "\\" 'backward pos (max 0 (- pos biggest 1)))]) (define slash (send text find-string "\\" 'backward pos (max 0 (- pos biggest 1))))
(when slash (when slash
(define entered (send text get-text slash pos)) (define entered (send text get-text slash pos))
(define completions (define completions
@ -980,11 +982,12 @@
(if (= 1 (length completions)) (if (= 1 (length completions))
(values (second (first completions)) #f) (values (second (first completions)) #f)
(let ([tex-names (map first completions)]) (let ([tex-names (map first completions)])
(values (foldl meet (first tex-names) (rest tex-names)) #t)))))) (values (foldl meet (first tex-names) (rest tex-names))
#t))))))
(send text begin-edit-sequence) (send text begin-edit-sequence)
(send text delete (if partial? slash (- slash 1)) pos) (send text delete (if partial? slash (- slash 1)) pos)
(send text insert replacement) (send text insert replacement)
(send text end-edit-sequence))))))))] (send text end-edit-sequence))))))]
[greek-letters "αβγδεζηθι κλμνξοπρςστυφχψω"] [greek-letters "αβγδεζηθι κλμνξοπρςστυφχψω"]
[Greek-letters "ΑΒΓΔΕΖΗΘΙ ΚΛΜΝΞΟΠΡ ΣΤΥΦΧΨΩ"] [Greek-letters "ΑΒΓΔΕΖΗΘΙ ΚΛΜΝΞΟΠΡ ΣΤΥΦΧΨΩ"]