Allowing to shrink the sidepanel for small screens seems completely reasonable.
I think the preference for whether to allow shrinking or not is probably unnecessary. Unchecking the checkbox doesn't seem to help users with small screens (who need it checked) nor users with large screens (who will simply not shrink the sidepanel so much). Or am I missing something?
The last-panel-position thing can probably be addressed in a separate branch or on top of this one.
Allowing to shrink the sidepanel for small screens seems completely reasonable.
I think the preference for whether to allow shrinking or not is probably unnecessary. Unchecking the checkbox doesn't seem to help users with small screens (who need it checked) nor users with large screens (who will simply not shrink the sidepanel so much). Or am I missing something?
The last-panel-position thing can probably be addressed in a separate branch or on top of this one.