Make mouse wheel scrolling work again on recent GTK+. Bug #3501321. From Sébastien Granjoux.
Make mouse wheel scrolling work again on recent GTK+. Bug #3501321.
From Sébastien Granjoux.

rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror,rhaberkorn/scintilla-mirror