3 posts were merged into an existing topic: Wrong shortcut for indentation on German keyboard still not fixed