From 6855a2c1d998e4f4ee5360822d8b3b3fbbcf3483 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Mon, 29 Dec 2014 18:36:40 -0500 Subject: [PATCH] Fix miniwin layout bug --- rmacs/render.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/rmacs/render.rkt b/rmacs/render.rkt index dfad741..addf7ba 100644 --- a/rmacs/render.rkt +++ b/rmacs/render.rkt @@ -142,7 +142,9 @@ [(absolute-size lines) lines] [(relative-size _) 0])) ws))) (define proportional-lines (- total-height reserved-lines)) - (append (let loop ((ws ws) (offset 0) (remaining proportional-lines)) + (define ws-without-miniwin ;; miniwin is in ws when minibuffer active; otherwise, not + (filter (lambda (e) (not (eq? (car e) miniwin))) ws)) + (append (let loop ((ws ws-without-miniwin) (offset 0) (remaining proportional-lines)) (match ws ['() '()] [(cons (list (== miniwin eq?) _) rest)