| commit | c450b41ccbbbe8d357b8fa0e8b1d6111ac61f285 | |
| author | David Aguilar <davvid@gmail.com> | |
| Wed, 19 Jun 2013 04:57:53 +0000 (18 21:57 -0700) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Wed, 19 Jun 2013 04:57:53 +0000 (18 21:57 -0700) | ||
| tree | b8a21015cc4ada5e8698c6d38388c11b6cd080ef | treesnapshot (tar.gz zip) |
| parent | 87c56e9be4792ca8a70a19add4665d4537509402 | commitdiff |
diff: update the text cursor directly
Use cursorForPosition() and setTextCursor() to update the text cursor in
the mouse press event. This is simpler then creating fake mouse events.
Signed-off-by: David Aguilar <davvid@gmail.com>
Use cursorForPosition() and setTextCursor() to update the text cursor in
the mouse press event. This is simpler then creating fake mouse events.
Signed-off-by: David Aguilar <davvid@gmail.com>
| cola/widgets/diff.py | diffblobblamehistory |