I think we should not hastily change this shortcut, based on what Martin says. It's also unnecessary optimization, because locking your screen incurs such a time penalty that the relative complexity of Ctrl-Alt-L is negligible.
I think we should not hastily change this shortcut, based on what Martin
says. It's also unnecessary optimization, because locking your screen incurs
such a time penalty that the relative complexity of Ctrl-Alt-L is
negligible.