[plt-dev] Re: drscheme window sizes

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Thu Apr 30 19:15:51 EDT 2009

I've checked in a change to profj so that the preferences dialog
should now fit on your screen.


On Thu, Apr 16, 2009 at 3:18 PM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> Ah, yeah. I actually did this:
>  (plt:framework-pref:drscheme:tools-configuration ((((lib
> "profjWizard") ("tool.ss")) skip) (((lib "profj") ("tool.ss")) skip)))
> but that might not be necessary.
> On Thu, Apr 16, 2009 at 2:15 PM, Jose A. Ortega Ruiz <jao at gnu.org> wrote:
>> Robby Findler <robby at eecs.northwestern.edu>
>> writes:
>>> I've checked in changes to drscheme that, when you disable the profj
>>> tool turn the preferences window from 730 pixels high to 544 pixels
>>> high on my mac os x machine. (It isn't the most semantically sensible
>>> change, in that I've moved some things from editing|general into just
>>> general (a new tab); things that weren't really about editing, but
>>> having catchall categories is never that great.)
>> Excellent! Thanks a lot, Robby.
>>> Kathy, if you have time to see if you can split up the colors in profj
>>> into multiple panels or maybe have a more space-efficient set of
>>> controls somehow, that would be great.
>>> In the meantime, for those that don't use profj, you can disable it in
>>> the preferences and get the shorter window. Of course, I realize that
>>> there is a kind of chicken & egg problem there, so if you get stuck, I
>>> can sort out the programmatic way to disable the profj tool.
>> As a first approximation, i guess editting plt-prefs.ss to contain
>> something like:
>>  (plt:framework-pref:drscheme:tools-configuration
>>  (
>>   (((lib "profj") ("tool.ss")) skip)
>>  ))
>> would do the job, right?
>> Cheers,
>> jao
>> --
>> Children enter school as question marks and leave as periods.
>>  -Neil Postman, professor and author (1931- )
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://list.cs.brown.edu/mailman/listinfo/plt-dev

Posted on the dev mailing list.