### What do you suggest? A couple things could be better about the side bar history panel. 1. Move the header outside the scroll area so it stays visible.   That will match the bottom panel  3. When unchecking the history box, hide the now empty div  4. Add default history height as a setting. It always starts quite squished. 