Devtools overhaul - now with reloadng and search!#386

Merged

mdtusz merged 7 commits intomasterfrom

devtools-refresh

Apr 6, 2016

Commits on Apr 1, 2016

Devtools overhaul - now with reloadng and search!
mdtusz
committed

Commits on Apr 4, 2016

Change default plot id and add initial div to DOM
mdtusz
committed

Commits on Apr 6, 2016

Add scrolling to dashboard plot-area div for oversized plots
mdtusz
committed