Skip to content
Commit a51e4a79 authored by Akseli Lahtinen's avatar Akseli Lahtinen
Browse files

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.
parent 8037d9e4
Pipeline #524159 failed with stage
in 21 minutes and 45 seconds
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment