| commit | 701ab3186a719f89d5442fb5d3befb42f4efc397 | |
| author | David Aguilar <davvid@gmail.com> | |
| Tue, 6 Dec 2011 09:27:01 +0000 (6 01:27 -0800) | ||
| committer | David Aguilar <davvid@gmail.com> | |
| Tue, 6 Dec 2011 09:27:01 +0000 (6 01:27 -0800) | ||
| tree | d46c677b489c79c928f375d2247bc0030211306f | treesnapshot (tar.gz zip) |
| parent | 808752ba7d79a04e40a369a446772e0655b7f5db | commitdiff |
widgets.diff: Do not resize text on wheel scroll + control
Create a new wheel event without the modifier to get a nice
scrolling behavior instead of a problematic resize.
The resize that happens in the normal wheel event is bad because
the font resize does not persist and it is not obvious how to revert
back to the default diff font size.
Signed-off-by: David Aguilar <davvid@gmail.com>
Create a new wheel event without the modifier to get a nice
scrolling behavior instead of a problematic resize.
The resize that happens in the normal wheel event is bad because
the font resize does not persist and it is not obvious how to revert
back to the default diff font size.
Signed-off-by: David Aguilar <davvid@gmail.com>
| cola/widgets/diff.py | diffblobblamehistory |