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:

             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?