Re: [racket-users] Run Button interaction

2016-08-08 Thread Alexis King
> On Aug 8, 2016, at 1:19 AM, Normal Loone wrote: > > I tried using override instead of augment, and it works. > Problem is: It overrides it now ofc, which means the program is no longer > evaluated. If you want to override a method, but still perform its behavior,

Re: [racket-users] Run Button interaction

2016-08-04 Thread Stephen De Gabrielle
My apologies - it is in the tools docs: http://docs.racket-lang.org/tools/drracket_unit.html#%28meth._%28%28%28lib._drracket%2Ftool-lib..rkt%29._drracket~3aunit~3aframe~25%29._execute-callback%29%29 On Thu, 4 Aug 2016 at 15:43, Robby Findler wrote: > Did you try > >

Re: [racket-users] Run Button interaction

2016-08-04 Thread Robby Findler
Did you try (define/override ... ? Robby On Thu, Aug 4, 2016 at 9:41 AM, Normal Loone wrote: > I tried > > (define/augment (execute-callback) > ...) > > So I'd just use another additional function of mine when the run button is > used, but execute-callback is

Re: [racket-users] Run Button interaction

2016-08-04 Thread Normal Loone
I tried (define/augment (execute-callback) ...) So I'd just use another additional function of mine when the run button is used, but execute-callback is apparently not augmentable? At least I got an error message stating that. Is there another function that you can modify? -- You received

Re: [racket-users] Run Button interaction

2016-08-03 Thread Stephen De Gabrielle
Hi, The DrRacket tools documentation is good but I don't think it answers this sort of question. You may find the right 'hook' in the Racket GUI Application Framework http://docs.racket-lang.org/framework/index.html I'd start with searching the source of the translations file (strings I think)

Re: [racket-users] Run Button interaction

2016-08-02 Thread 'John Clements' via Racket Users
> On Aug 2, 2016, at 6:02 AM, Normal Loone wrote: > > Hello, > > I am writing a plugin that tracks the development of code. Currently I want > to save the times the run button is pressed (i.e. the code is executed). > How can I access when the run button is pressed? >

[racket-users] Run Button interaction

2016-08-02 Thread Normal Loone
Hello, I am writing a plugin that tracks the development of code. Currently I want to save the times the run button is pressed (i.e. the code is executed). How can I access when the run button is pressed? Additionally I'd like to mark when the code is saved under a new name (as a new .rkt