// modified file 'zim/gui/pageview.py' @@ -3745,11 +3745,12 @@ class TextView(gtk.TextView): return True else: return gtk.TextView.do_key_press_event(self, event) elif (event.keyval in KEYVALS_HOME - and not event.state & gtk.gdk.META_MASK): + and not event.state & gtk.gdk.META_MASK + and not event.state & gtk.gdk.CONTROL_MASK): # Smart Home key - can be combined with shift state insert = buffer.get_iter_at_mark(buffer.get_insert()) home, ourhome = self.get_visual_home_positions(insert) if insert.equal(ourhome): iter = home else: iter = ourhome