Fixes + scroll mouse configuration support
This adds scroll mouse configuration support (specifically, WindowScroll module configuration), and also fixes a few bugs I found along the way.
The scroll configuration code will disable itself + grey out the UI if the WindowScroll module isn't loaded.
For anyone wanting to test it, the WindowScroll module sources are currently available at https://gitlab.riscosopen.org/jlee/WindowScroll