diff options
| author | jan.nijtmans <nijtmans@users.sourceforge.net> | 2016-01-09 22:30:01 (GMT) |
|---|---|---|
| committer | jan.nijtmans <nijtmans@users.sourceforge.net> | 2016-01-09 22:30:01 (GMT) |
| commit | 1495c801841af36629d7d985074d43ddc31f62fe (patch) | |
| tree | ffbc1ac410beb03eb9a7066e0be4aadd748bbf53 /.settings/org.eclipse.core.resources.prefs | |
| parent | e07b10f1a79f05875a092a57edd405f0e23f7345 (diff) | |
| download | tk-1495c801841af36629d7d985074d43ddc31f62fe.zip tk-1495c801841af36629d7d985074d43ddc31f62fe.tar.gz tk-1495c801841af36629d7d985074d43ddc31f62fe.tar.bz2 | |
(cherry-pick) Fix [1927212]: MouseWheel unbound for non-aqua scrollbars. Thanks to Francois Vogel for the actual work
Diffstat (limited to '.settings/org.eclipse.core.resources.prefs')
0 files changed, 0 insertions, 0 deletions