Fix paned divider in editor, even across restarts via gsettings

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

00:00:47

passed #8428
doxygen

00:00:07

passed #8430
static_code_analysis

00:00:06