Closed fernandreu closed 3 years ago
Ctrl+D is a shortcut straight from Scintilla for duplicating a line, hence it is not even shown in the Edit menu (fix that too). When using it, it gets interpreted as the actual characters somehow, so the indentation is added as in any other case.
Ctrl+D is a shortcut straight from Scintilla for duplicating a line, hence it is not even shown in the Edit menu (fix that too). When using it, it gets interpreted as the actual characters somehow, so the indentation is added as in any other case.