Re: [racket] Unicode art

2012-03-26 Thread Pierpaolo Bernardi
On Sun, Mar 25, 2012 at 03:25, Robby Findler wrote: > So I've pushed a change to DrRacket that adds a preference. The > preference defaults to "no additional spacing" under windows and "one > extra pixel" (the 5.2.1 behavior) everywhere else. > > Please let me know if things start to look strange

Re: [racket] Unicode art

2012-03-24 Thread Robby Findler
Thanks. Matthew also poked around on the various platforms and it appears that setting the spacing to 0 makes DrRacket match standard windows editors and makes the maze look right, but it doesn't help on other platforms (on mac os x, it isn't clear what to do and under unix it already worked). So

Re: [racket] Unicode art

2012-03-22 Thread Pierpaolo Bernardi
On Wed, Mar 21, 2012 at 17:44, Robby Findler wrote: > Yes, I think that's right. Here's a patch to set that spacing to 0. > Does that make the problem go away? Yes, that was it! However, it fixes the editor panel, but not the interaction window. Image attached. Thanks. <>

Re: [racket] Unicode art

2012-03-21 Thread Robby Findler
Yes, I think that's right. Here's a patch to set that spacing to 0. Does that make the problem go away? diff --git a/collects/drracket/private/unit.rkt b/collects/drracket/private/unit index 5525d24..c759c17 100644 --- a/collects/drracket/private/unit.rkt +++ b/collects/drracket/private/unit.rkt @

Re: [racket] Unicode art

2012-03-21 Thread Pierpaolo Bernardi
Emacs, behaves like notepad. hmmm <> Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Unicode art

2012-03-21 Thread Paulo J. Matos
On 21/03/12 15:20, Pierpaolo Bernardi wrote: On Wed, Mar 21, 2012 at 15:37, Vincent St-Amour wrote: Using the same font in a different application, do you get the same gaps? If so, it's probably a font issue. It's not clear to me where the issue is. My guess is that is has to do with how D

Re: [racket] Unicode art

2012-03-21 Thread Paulo J. Matos
On 21/03/12 15:20, Pierpaolo Bernardi wrote: On Wed, Mar 21, 2012 at 15:37, Vincent St-Amour wrote: Using the same font in a different application, do you get the same gaps? If so, it's probably a font issue. It's not clear to me where the issue is. My guess is that is has to do with how D

Re: [racket] Unicode art

2012-03-21 Thread Pierpaolo Bernardi
On Wed, Mar 21, 2012 at 15:37, Vincent St-Amour wrote: > Using the same font in a different application, do you get the same > gaps? If so, it's probably a font issue. It's not clear to me where the issue is. Attached, two screen captures. In DrRacket both light and heavy lines present the same

Re: [racket] Unicode art

2012-03-21 Thread Vincent St-Amour
Using the same font in a different application, do you get the same gaps? If so, it's probably a font issue. Vincent At Wed, 21 Mar 2012 10:39:52 +0100, Pierpaolo Bernardi wrote: > > Hello, > > not sure if this is a DrRacket or font question. > > I'm doing drawings with the unicode box drawin