commit 0bd74f1302655b856a838d5fed840cdcac7ea242 Author: Robby Findler Date: Tue Jan 15 09:06:55 2013 -0600 move the ╬ char and friends into a separate file do not merge to 5.3.2 original commit: 1edec6a33ed3a98b95a233f6be90d40fd8e1dfc0 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