Code

Make Shift+Ctrl+D (Document Properties dialog) work again (was shadowed by the shortc...