@50 That is very strange, because Ctrl-Shift is no longer possible as a key sequence since 13.10 onwards...
@50 That is very strange, because Ctrl-Shift is no longer possible as a key sequence since 13.10 onwards...