Make "don't reserve space" sensitive only when autohiding is disabled
This configuration option only makes sense when not hiding a panel automatically, so whenever one of the two autohide behaviors is enabled, the option is now greyed out in the UI.
Loading
Please register or sign in to comment