According to this page, the functionality was rewritten/moved recently: https://code.launchpad.net/~andreas-pokorny/mir/remove-input-region/+merge/316713
According to this page, the functionality was rewritten/moved recently: /code.launchpad .net/~andreas- pokorny/ mir/remove- input-region/ +merge/ 316713
https:/