Browse Source

Terminal links: now shows tooltips after going to a file position

merge-requests/365/head
eidheim 10 years ago
parent
commit
75bc0cd4be
  1. 2
      src/terminal.cc

2
src/terminal.cc

@ -375,7 +375,7 @@ bool Terminal::on_button_press_event(GdkEventButton* button_event) {
index=std::min(index, end_line_index); index=std::min(index, end_line_index);
view->get_buffer()->place_cursor(view->get_buffer()->get_iter_at_line_index(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; return true;
} }
} }

Loading…
Cancel
Save