diff --git a/collects/framework/private/dir-chars.rkt b/collects/framework/private/dir-chars.rkt index e5e195c..6935b00 100644 --- a/collects/framework/private/dir-chars.rkt +++ b/collects/framework/private/dir-chars.rkt @@ -26,19 +26,19 @@ #\╩ #\╦ #\╣ #\╝ #\╗ #\═ - #\+ #\-)) + #\+ #\- #\=)) (define rt-chars '(#\╬ #\╩ #\╦ #\╠ #\╔ #\╚ #\═ - #\+ #\-)) + #\+ #\- #\=)) (define adjustable-chars (remove-duplicates (append up-chars dn-chars lt-chars rt-chars))) (define double-barred-chars - (remove* '(#\+ #\- #\|) + (remove* '(#\+ #\- #\= #\|) adjustable-chars)) \ No newline at end of file