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