Script editor: Rename 'Clone Down' to 'Duplicate Selection'

Fixes #36670.
This commit is contained in:
Rémi Verschelde 2021-06-29 12:09:07 +02:00
parent 8fb7a9f023
commit d41f4aca77
No known key found for this signature in database
GPG key ID: C3336907360768E1
8 changed files with 18 additions and 18 deletions

View file

@ -225,7 +225,7 @@ public:
void move_lines_up();
void move_lines_down();
void delete_lines();
void clone_lines_down();
void duplicate_selection();
/// Toggle inline comment on currently selected lines, or on current line if nothing is selected,
/// by adding or removing comment delimiter