diff options
| author |   mitchell <70453897+667e-11@users.noreply.github.com> | 2019-09-21 08:51:10 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2019-09-21 08:51:10 -0400 |
| commit | 68e7fc2fef3f9cbd4da4a89fa12915d4e683b439 (patch) | |
| tree | 2dd8ae45a84585251b4ee5ea131e450b91cacdcd /core/locales/locale.de.conf | |
| parent | c51668199549617d07af4891af9aeae956bdd42c (diff) | |
| download | textadept-68e7fc2fef3f9cbd4da4a89fa12915d4e683b439.tar.gz textadept-68e7fc2fef3f9cbd4da4a89fa12915d4e683b439.zip | |
Added back "Paste Reindent", but as a separate menu/key/command from "Paste".
Diffstat (limited to 'core/locales/locale.de.conf')
| -rw-r--r-- | core/locales/locale.de.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/locales/locale.de.conf b/core/locales/locale.de.conf index 899de6ca..17e09b75 100644 --- a/core/locales/locale.de.conf +++ b/core/locales/locale.de.conf @@ -167,6 +167,7 @@ _Redo = _Wiederholen Cu_t = _Ausschneiden _Copy = _Kopieren _Paste = E_infügen +Paste Re_indent = Paste Re_indent Duplicate _Line = Zeile duplizieren _Delete = _Löschen D_elete Word = Wort löschen |