Uwe Stöhr wrote:
While updating the docs to follow the current shortcut notation, I noticed that it is not correct:We use "Alt+D". This implies to use "Alt+Shift+d".
The current notation (Alt+D) is also used by all other applications I've seen. I don't think we need to change it.
Joost
