blog-bootstrap Meta-Blog

Where I write down what I did, how I did it, what I want to do, how I want to do it, and any other information involved in and about the process of creation of the content of this blog.


Meta-Post about What I wish Chromium DevTools (and what Chromium) would do

Chromium is pretty great. Chromium DevTools is pretty great too. DevTools is almost a full featured IDE. To make it so, what would I want it to do?

25-05-15 10:17 (UTC-7) by Daniel

I really like that I can edit source using the "Workspace" feature of DevTools. I also like that I can manually reload the page by typing location.reload().

I wish I could make DevTools do that whenever I did ^s (control-s). i.e. whenever I save the file.

Hello $s^3$ katex