Skip to content

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.

Merge request reports