Fix paned divider in editor, even across restarts via gsettings

3 jobs for master in 48 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed build #8429

00:00:47

passed doxygen #8428

00:00:07

passed static_code_analysis #8430

00:00:06