So we started with a bug saying that ctrl+alt+num behaved inconsistently and ended up with the same problem + different shortcuts?
I don't get why it makes any sense to have 1,2,3,7,8,9 working but not 0,4,5 and 6. It was ok the way it was in 11.10, it made sense. Now it doesn't make sense, and having to change alt to super makes it even more annoying.
So we started with a bug saying that ctrl+alt+num behaved inconsistently and ended up with the same problem + different shortcuts?
I don't get why it makes any sense to have 1,2,3,7,8,9 working but not 0,4,5 and 6. It was ok the way it was in 11.10, it made sense. Now it doesn't make sense, and having to change alt to super makes it even more annoying.