eventhack: use new gtk+ API instead if available
authorMartin Renold <martinxyz@gmx.ch>
Mon, 11 Nov 2013 19:05:56 +0000 (20:05 +0100)
committerMartin Renold <martinxyz@gmx.ch>
Mon, 11 Nov 2013 19:18:33 +0000 (20:18 +0100)
commitd9994edcdb2f7153e0503f97d25ebfde1ad5063c
tree8e679f1023d962d326354b15ea948c384560a50f
parent38af957f8e8644c62711c13cdebbf995ec5fb7db
eventhack: use new gtk+ API instead if available

The latest git version of gtk+ has set_event_compression(), which is a
much cleaner solution.

https://bugzilla.gnome.org/show_bug.cgi?id=702392
gui/freehand.py