Connect scroll event to Graph Option in GTK
authorH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 6 Sep 2014 11:21:13 +0000 (13:21 +0200)
committerH.G.Muller <hgm@hgm-xboard.(none)>
Sat, 6 Sep 2014 11:21:13 +0000 (13:21 +0200)
commit189b48237361df4f482800f6e17a52f11595c08a
treef686997ee5082618d53bff7f192819b42056d1fa
parentefaa4a5dc4478095bca6f9b919a96356508b2a9b
Connect scroll event to Graph Option in GTK

The mouse wheel is now detected in graphics widgets, and passed to
the user handler as button 4/5 mouse events.
gtk/xoptions.c