Convert Gestures plugin prefs to GSettings
Review Request #2751 — Created Oct. 30, 2023 and submitted
This does not actually make it compile, however.
Compiled and checked that there were no new errors/warnings.
Summary | ID |
---|---|
3ac10781766aed8ca899d1675ae99b194289e6ce |