Use checkboxes for preferences and store in sessionStorage#2

Open

calebknoll wants to merge 4 commits intorobrich:mainfrom

calebknoll:checkboxes

Commits on Aug 8, 2021

Use checkboxes for options instead of buttons
Caleb Knoll
committed
Add sessionStorage to ui preferences so the preferences remain on reload, but not on page close
Caleb Knoll
committed
Remove resetting of tags and lines now that the setting is preserved on refresh
Caleb Knoll
committed
Remove obsolete comments, now that we have scrollbars
Caleb Knoll
committed