@John Lea:
Pinged you, but will simply repeat it here:
Regarding the other problem:
It would be (easily) possible to have 2 different shortcuts doing the same thing, so I can implement that for Grid without any problems...
Btw, your document says: Ctrl + Super + Cursor Left or Right Semi-maximises current window, which is actually something else than what Grid does as Grid not only semi-maximizes, but also moves the window to a position.
We can of course have shortcuts to just semi-maximize as well, in fact those are already available, just not defined...
@John Lea:
Pinged you, but will simply repeat it here:
Regarding the other problem:
It would be (easily) possible to have 2 different shortcuts doing the same thing, so I can implement that for Grid without any problems...
Btw, your document says: Ctrl + Super + Cursor Left or Right Semi-maximises current window, which is actually something else than what Grid does as Grid not only semi-maximizes, but also moves the window to a position.
We can of course have shortcuts to just semi-maximize as well, in fact those are already available, just not defined...