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 |
|