Philipp Hörist pushed to branch master at gajim / gajim
Commits: 0dce40bb by Tomasz Miąsko at 2017-01-24T15:29:15+01:00 Fix history scrolling in gtk3 #8481. * Delay scrolling using GLib.idle_add. According to the GTK documentation the scroll_to_mark should be doing this internally already, but it is not the case. * Center highlighted message vertically. - - - - - d2cfa9bb by Philipp Hörist at 2017-01-24T16:24:32+01:00 Merge branch 'history-scrolling' into 'master' Fix history scrolling in gtk3 #8481. See merge request !39 - - - - - 1 changed file: - src/history_window.py Changes: ===================================== src/history_window.py ===================================== --- a/src/history_window.py +++ b/src/history_window.py @@ -622,10 +622,9 @@ class HistoryWindow: match_end_iter.forward_line() # highlight all message not just time self.history_buffer.apply_tag_by_name('highlight', match_start_iter, match_end_iter) - - match_start_mark = self.history_buffer.create_mark('match_start', - match_start_iter, True) - self.history_textview.tv.scroll_to_mark(match_start_mark, 0, True) + mark = self.history_buffer.create_mark('match', match_start_iter, True) + GLib.idle_add(self.history_textview.tv.scroll_to_mark, mark, + 0, True, 0.0, 0.5) def on_log_history_checkbutton_toggled(self, widget): # log conversation history? View it on GitLab: https://dev.gajim.org/gajim/gajim/compare/a779066a61b29e22a67139eab5bcf9996947a36f...d2cfa9bbba11e3725b2ceb206b274583ab1751c1
_______________________________________________ Commits mailing list Commits@gajim.org https://lists.gajim.org/cgi-bin/listinfo/commits