From 75bc0cd4be483746ca25c0c68514441e8c37f907 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Thu, 12 May 2016 11:19:10 +0200
Subject: [PATCH] Terminal links: now shows tooltips after going to a file
 position

---
 src/terminal.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/terminal.cc b/src/terminal.cc
index a9f57b0..78fca84 100644
--- a/src/terminal.cc
+++ b/src/terminal.cc
@@ -375,7 +375,7 @@ bool Terminal::on_button_press_event(GdkEventButton* button_event) {
                 index=std::min(index, end_line_index);
                 
                 view->get_buffer()->place_cursor(view->get_buffer()->get_iter_at_line_index(line, index));
-                view->scroll_to_cursor_delayed(view, true, false);
+                view->scroll_to_cursor_delayed(view, true, true);
                 return true;
               }
             }