Restore split-view separator position (Issue #616)

MR !134
2 jobs for !134 with split-separator in 6 minutes and 32 seconds (queued for 3 seconds)
detached
Status Job ID Name Coverage
  Build
passed #16535
build

00:02:28

 
  Distcheck
passed #16536
distcheck

00:04:03