From 0bd74f1302655b856a838d5fed840cdcac7ea242 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/dir-chars.rkt | 39 ++++++++++++++++++++++++ 1 file changed, 39 insertions(+) create mode 100644 collects/framework/private/dir-chars.rkt diff --git a/collects/framework/private/dir-chars.rkt b/collects/framework/private/dir-chars.rkt new file mode 100644 index 0000000..2c75ae7 --- /dev/null +++ b/collects/framework/private/dir-chars.rkt @@ -0,0 +1,39 @@ +#lang racket/base +(require racket/list) +(provide adjustable-chars + up-chars + dn-chars + lt-chars + rt-chars) + +(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))) \ No newline at end of file