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, Jon Rafkind <rafkind at cs.utah.edu> wrote:
> 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 interactions window are a children of but I was not able to manipulate it.
>> It seems like there should be some container pane for the definitions window whose default behavior is just to show the definitions canvas. Then I could add a new editor-canvas as a sibling to the definitions window.
>> On 09/18/2010 06:25 AM, Robby Findler wrote:
>> 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<rafkind at cs.utah.edu> wrote:
>> 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 the definitions-canvas but the issue
> there is I can't seem to add new panel objects to the canvas. I can pass the
> definitions-text% straight through via (super-new [editor editor]). I tried
> making a proxy text%/editor-canvas% combo but I just had the same issue of
> not being able to add any elements to it.
>> So I guess the question is can I put more gui elements in a canvas?
> _________________________________________________
> For list-related administrative tasks:
>http://lists.racket-lang.org/listinfo/users>>>>