Migrate panel hiding setting
Old panels have 4 visibility settings, new one has only two.
This should migrate the "covered by windows" setting to "hide panel" setting. If the setting is already hide panel, do nothing. Otherwise, set it to always shown.