From 3275b8d49f817fd7eb979576f09739bfe0dd97b7 Mon Sep 17 00:00:00 2001 From: eidheim Date: Wed, 7 Feb 2018 08:45:00 +0100 Subject: [PATCH] Faster opening of previous session file buffers --- src/juci.cc | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/juci.cc b/src/juci.cc index 6091a7c..a063a1d 100644 --- a/src/juci.cc +++ b/src/juci.cc @@ -84,7 +84,7 @@ void Application::on_activate() { if(iplace_cursor_at_line_offset(file_offsets[i].first, file_offsets[i].second); - view->scroll_to_cursor_delayed(view, true, false); + view->hide_tooltips(); } } } @@ -101,6 +101,11 @@ void Application::on_activate() { view->hide_tooltips(); } } + + while(Gtk::Main::events_pending()) + Gtk::Main::iteration(false); + for(auto view: Notebook::get().get_views()) + view->scroll_to(view->get_buffer()->get_insert(), 0.0, 1.0, 0.5); } void Application::on_startup() {