-
Sebastian Ramacher authored
Thanks to Philipp Edelmann for the patch. This should be replaced by handling GTK_SCROLL_SMOOTH instead, but for now it should be sufficient. Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>
a93a324d
Thanks to Philipp Edelmann for the patch. This should be replaced by handling
GTK_SCROLL_SMOOTH instead, but for now it should be sufficient.
Signed-off-by: Sebastian Ramacher <sebastian+dev@ramacher.at>