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/locale.conf | |
parent | c51668199549617d07af4891af9aeae956bdd42c (diff) |
Added back "Paste Reindent", but as a separate menu/key/command from "Paste".
Diffstat (limited to 'core/locale.conf')
-rw-r--r-- | core/locale.conf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/locale.conf b/core/locale.conf index 1582dc96..73acc90c 100644 --- a/core/locale.conf +++ b/core/locale.conf @@ -167,6 +167,7 @@ _Redo = _Redo Cu_t = Cu_t _Copy = _Copy _Paste = _Paste +Paste Re_indent = Paste Re_indent Duplicate _Line = Duplicate _Line _Delete = _Delete D_elete Word = D_elete Word |