-
Thorbjørn Lindeijer authored
Since it's checkable now, "Show Sidebar" is more suitable. Also changed the interface a bit to allow more than just toggling.
a654dc0b
Since it's checkable now, "Show Sidebar" is more suitable. Also changed the interface a bit to allow more than just toggling.