It's in the virtual-dom package. :) https://github.com/elm-lang/virtual-dom/blob/master/src/VirtualDom/Debug.elm
On Thu, Dec 29, 2016 at 12:16 PM, Zachary Kessin <[email protected]> wrote: > Cool, where is the source/api for the debugger? > > Zach > ᐧ > > On Thu, Dec 29, 2016 at 12:09 PM, Peter Damoc <[email protected]> wrote: > >> >> >> On Thu, Dec 29, 2016 at 10:41 AM, Zachary Kessin <[email protected]> >> wrote: >> >>> It would be great if there was a button on the debugger (or better yet a >>> key combo) where you could say "Reload this page and re-run these events". >>> I find myself working a lot where I do something my code does not do >>> exactly what I want it to do so i go and change my code and do the same >>> things over again. It would be a nice thing if we could have a button that >>> would do that. >>> >>> It might take a browser extention >>> >> >> In theory, the messages are data. They could be saved in local storage. >> One could imagine a Save Messages + Replay Messages set of keyboard >> combos. >> >> no browser extension needed. >> >> >> >> -- >> There is NO FATE, we are the creators. >> blog: http://damoc.ro/ >> >> -- >> You received this message because you are subscribed to the Google Groups >> "Elm Discuss" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> For more options, visit https://groups.google.com/d/optout. >> > > > > -- > Zach Kessin > SquareTarget <http://squaretarget.rocks?utm_source=email-sig> > Twitter: @zkessin <https://twitter.com/zkessin> > Skype: zachkessin > > -- > You received this message because you are subscribed to the Google Groups > "Elm Discuss" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- There is NO FATE, we are the creators. blog: http://damoc.ro/ -- You received this message because you are subscribed to the Google Groups "Elm Discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
