From 0e0ef9ba19321853aa2b7119726a16d93debb27d Mon Sep 17 00:00:00 2001
From: Ole Christian Eidheim <eidheim@gmail.com>
Date: Fri, 3 Jun 2016 10:26:08 +0200
Subject: [PATCH] Workaround for split window position

---
 src/notebook.cc | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/notebook.cc b/src/notebook.cc
index b494090..264c68e 100644
--- a/src/notebook.cc
+++ b/src/notebook.cc
@@ -392,6 +392,11 @@ void Notebook::toggle_split() {
     pack2(notebooks[1], true, true);
     set_position(get_width()/2);
     show_all();
+    //Make sure the position is correct
+    //TODO: report bug to gtk if it is not fixed in gtk3.22
+    while(g_main_context_pending(NULL))
+      g_main_context_iteration(NULL, false);
+    set_position(get_width()/2);
   }
   else {
     for(size_t c=size()-1;c!=static_cast<size_t>(-1);--c) {