move the ╬ char and friends into a separate file

do not merge to 5.3.2

original commit: 1edec6a33ed3a98b95a233f6be90d40fd8e1dfc0
This commit is contained in:
Robby Findler 2013-01-15 09:06:55 -06:00
parent 252f0cf411
commit ee69fc413c

View File

@ -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