How do you open the stepper window in the first place? I think the stepper button for the DA could go away. That would simplify John’s life a bit. But if you are saying
— the button in the IA opens the stepper window — and the stepper works until closed I am fine with that too. > On Oct 20, 2016, at 4:49 PM, Sam Tobin-Hochstadt <sa...@cs.indiana.edu> wrote: > > What if entering expressions at the interactions window _while the > stepper window is open_ caused them to be stepped? > > Sam > > On Thu, Oct 20, 2016 at 4:48 PM, Matthias Felleisen > <matth...@ccs.neu.edu> wrote: >> >>> On Oct 20, 2016, at 4:44 PM, John Clements <cleme...@brinckerhoff.org> >>> wrote: >>> >>>> >>>> On Oct 20, 2016, at 12:32 PM, Matthias Felleisen <matth...@ccs.neu.edu> >>>> wrote: >>>> >>>> >>>>> On Oct 20, 2016, at 3:20 PM, John Clements <cleme...@brinckerhoff.org> >>>>> wrote: >>>>> >>>>> I think you probably want an interface that steps a single expression and >>>>> then reverts to the standard mode. >>>> >>>> >>>> Exactly. >>>> >>>> My preference would be to have a ‘button’ like feature at the top-right of >>>> the IA for *SLs. By default, it is disabled. If a programmer clicks on it, >>>> the evaluations in the REPL show the steps from now on until either the >>>> next click or the next RUN of the DA. >>> >>> It doesn’t *sound* like we’re in agreement :)… I’m thinking that the mode >>> should revert to RUN after the next expression is entered in the >>> interactions window. >>> >>> Let me see if I can hack something together. >> >> >> :-) >> >> I think we’re in agreement on (1) it’s easy to switch and (2) it reverts >> ‘soon-ish’ to the normal run mode. The little grey scale of ‘soon-ish’ is a >> minor hickup in our decades-long search for common ground :)) >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Racket Users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to racket-users+unsubscr...@googlegroups.com. >> For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
