Please make sure that JavaScript is enabled in your browser. If you are using a browser extension to selectively enable or disable JavaScript, make sure it's enabled for this server.
Describe your changes (optional):
Review Request #679 — Created May 28, 2021 and submitted May 29, 2021, 8:18 a.m. — Latest diff uploaded May 28, 2021, 9:10 a.m.
Clean up the scroll book widget a bit
Made a connection fail and verified the widget worked as intended.
