Handle the 'Resize' event from the scope in <digraph>.
Update anything that needs it when the splitter is dragged.
Update dbConnected and dbConnecting correctly.
Removed permalink button, since the address bar is now updated in (near) realtime.
Tweaked scrollbar visuals so they're consistent, and eliminated special-casing.
Hiding label groups should still hide when mousing over the scrollbar.
Fixed result value popups.