[ikhal] add option to disable mouse, fixes #1289#1295
Merged
geier merged 8 commits intopimutils:masterfrom choucavalier:masterOct 24, 2023
+34-5
Commits
Commits on Sep 16, 2023
Commits on Sep 21, 2023
- committed
Commits on Oct 11, 2023
Commits on Oct 15, 2023
Commits on Oct 16, 2023
- committed