yparitcher
|
986f45871a
|
Dispatcher: show selected number (#6472)
followup to #6441
|
2020-08-17 09:55:03 +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
|
2d8c50708f
|
Fix gesture migration when user never had custom multiswipes (#6467)
|
2020-08-02 21:38:01 -04: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 |
|