[racket-dev] adding preferences

And everybody else sees that you learned this from the __implementation__ rather than the __documentation__  :-) 


On Nov 2, 2010, at 1:11 AM, Jon Rafkind wrote:

> nevermind, I see preferences:add-to-general-checkbox-panel in
> drracket/private/main.rkt
> 
> On 11/01/2010 10:27 PM, Jon Rafkind wrote:
>> I currently have a preference to enabling/disabling line numbers in the
>> 'view' menu which is easy to set up in drracket/collects/main.rkt. A
>> user asked me to add a checkbox they could select in
>> edit->preferences->general which I see is controlled by
>> framework/private/preferences.rkt but I can't seem to get a reference to
>> the definitions text from there. I suppose I can make the preference set
>> the 'drracket:show-line-numbers property but it would be nice if it
>> could dynamically update the line numbers, much like 'view->show line
>> numbers' currently does.
>> 
>> Is there a way to get to the definitions text in those callbacks?
>> _________________________________________________
>>  For list-related administrative tasks:
>>  http://lists.racket-lang.org/listinfo/dev
> 
> _________________________________________________
>  For list-related administrative tasks:
>  http://lists.racket-lang.org/listinfo/dev