7 Commits

Author	SHA1	Message	Date
yparitcher	34b3d5541d	Gestures/Profiles: make sure dispatcher is initalized ... even when the menu is not opened. this was causing a crash when the event name was parsed from creoptions	2020-09-22 07:21:37 +02:00
NiLuJe	99045b4311	Minor util & ffi/util cleanups (#6657)	2020-09-15 20:39:32 +02:00
Galunid	55a5f0c1a3	Cleanup after #6449 (#6484) ... * Better description in spinwidget * Rename SpinWidget title from "Hold pan rate" -> "Text selection rate"	2020-08-07 22:05:52 +02:00
Galunid	627716db9c	Allow setting text selection rate (#6449)	2020-08-06 00:13:26 +02:00
yparitcher	7583571707	Dispatcher Gestures Profiles: only flush settings when changed (#6471)	2020-08-05 00:19:28 +02:00
yparitcher	9e0ac734ba	Gestures: Refactor to use Dispatcher	2020-08-02 16:55:09 -04:00
yparitcher	2a99b014a2	initial refactor of ReaderGesture into Gestures plugin	2020-08-02 16:55:09 -04:00