Re: [racket] line numbers in drracket

2010-09-18 Thread Robby Findler
Oh right. There isn't, because of the screen splitting stuff. I think you probably are better off adding this directly to drracket. You probably want collects/drracket/private/unit.rkt. Possibly packaging this up as a generic thing in the framework first. Robby On Saturday, September 18, 2010, Jo

Re: [racket] line numbers in drracket

2010-09-18 Thread Jon Rafkind
Ok I tried that route as well. I used extend-unit-frame but I can't get a hold of the definitions window. I can add a bar to the frame but then its on the side of the interactions panel as well, which I don't want. I tried getting a hold of the `resizable-pane' that the definitions window and

Re: [racket] line numbers in drracket

2010-09-18 Thread Robby Findler
You don't want to extend the definitions canvas, if you want to follow what Grant did. You want to make a new editor-canvas that is in parallel to it, next to it. Robby On Fri, Sep 17, 2010 at 4:39 PM, Jon Rafkind wrote: >  I took a stab at adding line numbers to DrRacket. I started with this co

Re: [racket] line numbers in drracket

2010-09-18 Thread Stephen De Gabrielle
I'm new this myself, but I've had some luck working stuff out by reading the Framework source. I briefly had a look after reading the elastic-tab-stops thing (Grant?). Changing it may be a necessity for this. S. On Friday, September 17, 2010, Jon Rafkind wrote: >  I took a stab at adding line nu

Re: [racket] line numbers in drracket

2010-09-17 Thread Grant Rettke
On Fri, Sep 17, 2010 at 4:39 PM, Jon Rafkind wrote: >  I took a stab at adding line numbers to DrRacket. Awesome. > I started with this code from Grant Rettke: > http://www.wisdomandwonder.com/link/1808/adding-a-gutter-to-drscheme which > works reasonably well on its own but when I had trouble i

[racket] line numbers in drracket

2010-09-17 Thread Jon Rafkind
I took a stab at adding line numbers to DrRacket. I started with this code from Grant Rettke: http://www.wisdomandwonder.com/link/1808/adding-a-gutter-to-drscheme which works reasonably well on its own but when I had trouble integrating it with DrRacket. I think the way to go is to extend th