move the ╬ char and friends into a separate file

do not merge to 5.3.2
This commit is contained in:
Robby Findler 2013-01-15 09:06:55 -06:00
parent c8a1ec8c9c
commit 1edec6a33e
2 changed files with 40 additions and 32 deletions

View File

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

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