[racket] Customize world window

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Oct 29 17:59:00 EDT 2011

On Sat, Oct 29, 2011 at 4:24 PM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> It would have to be superclass that implements frame at least but yes, that's doable.

Why do you need to extend the frame class?

> The question is how to provide access. Initially this thing was for middle/high school
> students and college freshman courses. But I can see the benefit

I was thinking of this as a tool for the more sophisticated users who
want to go learn the big GUI toolkit.

Robby

> -- Matthias
>
>
>
> On Oct 29, 2011, at 4:37 PM, Robby Findler wrote:
>
>> One possibility is to have big-bang accept an argument that is a frame
>> (or a panel generally) and then people could fit them into their own
>> frames and I guess that you could support this without too much work.
>> I'd be happy to suggest how to do that with a diff if that would be
>> useful.
>>
>> Robby
>>
>> On Sat, Oct 29, 2011 at 12:38 PM, Matthias Felleisen
>> <matthias at ccs.neu.edu> wrote:
>>>
>>> On Oct 28, 2011, at 4:22 AM, jvjulien at free.fr wrote:
>>>
>>>> Hello,
>>>>
>>>> Is it possibile to customize world window (2htdp/universe) ?
>>>>
>>>> For example, is it possible to change title window and add GUI controls (sliders, text edit...) ?
>>>
>>>
>>> The title is determined by the name clause in big-bang, e.g.,
>>>
>>>  (big-bang 0 (to-draw (lambda (x) (text "hello world" 33 'red))) (name "jeeve"))
>>>
>>> ;; ---
>>>
>>> Otherwise it is impossible to get at the frame that displays the world. It is an instance of a private
>>> locally created class with two possible mixins (mouse and key handlers).
>>>
>>> The request to get access to this frame in some form or another has surfaced
>>> before. I will put it on my todo list, but I do not know yet how to go about this.
>>>
>>> -- Matthias
>>>
>>>
>>> _________________________________________________
>>>  For list-related administrative tasks:
>>>  http://lists.racket-lang.org/listinfo/users
>>>
>
>



Posted on the users mailing list.