From ee69fc413c27facf06533cc3f6bd24fbe981d512 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 15 Jan 2013 09:06:55 -0600 Subject: [PATCH] =?UTF-8?q?move=20the=20=E2=95=AC=20char=20and=20friends?= =?UTF-8?q?=20into=20a=20separate=20file?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit do not merge to 5.3.2 original commit: 1edec6a33ed3a98b95a233f6be90d40fd8e1dfc0 --- collects/framework/private/keymap.rkt | 33 +-------------------------- 1 file changed, 1 insertion(+), 32 deletions(-) diff --git a/collects/framework/private/keymap.rkt b/collects/framework/private/keymap.rkt index 8ebefc54..582c2635 100644 --- a/collects/framework/private/keymap.rkt +++ b/collects/framework/private/keymap.rkt @@ -6,6 +6,7 @@ racket/list mred/mred-sig "../preferences.rkt" + "dir-chars.rkt" mrlib/tex-table (only-in srfi/13 string-prefix? string-prefix-length) "sig.rkt" @@ -1540,38 +1541,6 @@ (define start (send text paragraph-start-position para)) (values (- pos start) para)) -(define up-chars - '(#\╬ - #\╩ #\╣ #\╠ - #\╝ #\╚ - #\║ - #\+ #\|)) - -(define dn-chars - '(#\╬ - #\╦ #\╣ #\╠ - #\╗ #\╔ - #\║ - #\+ #\|)) - -(define lt-chars - '(#\╬ - #\╩ #\╦ #\╣ - #\╝ #\╗ - #\═ - #\+ #\-)) - -(define rt-chars - '(#\╬ - #\╩ #\╦ #\╠ - #\╔ #\╚ - #\═ - #\+ #\-)) - -(define adjustable-chars - (remove-duplicates - (append up-chars dn-chars lt-chars rt-chars))) - (define (xy->pos text x y) (cond