Re: [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 _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
Re: [racket-dev] adding preferences
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
[racket-dev] adding preferences
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