Comment 8 for bug 1157289

Last comment for now:

Could you try out a fix for me?

In "zim/gui/pageview.py" in the method "update_cursor()" around line
3719 there is this snippet:

  if cursor != self._cursor:
   window = self.get_window(gtk.TEXT_WINDOW_TEXT)
   window.set_cursor(cursor)

Please change it the following and check if that resolves the issue:

  if cursor != self._cursor:
   window = self.get_window(gtk.TEXT_WINDOW_TEXT)
   window.ensure_native()
   window.set_cursor(cursor)

Thanks!

Jaap