diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-05-08 07:36:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-08 07:36:24 +0200 |
| commit | 64cb61619ae76325b2450d9a2570bf6471248450 (patch) | |
| tree | 6c071b9146b6b461f9a64202d9c1fa21c77c037b /scene/gui | |
| parent | bdad359d99c2c139723b2ea0f3ea76e550d68bfa (diff) | |
| parent | e58b10c883056930e966e842fad6bc1bbcd7979c (diff) | |
Merge pull request #15928 from StateOff/feature_batch_rename
Implements "Batch Rename" editor tool.
Diffstat (limited to 'scene/gui')
| -rw-r--r-- | scene/gui/line_edit.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scene/gui/line_edit.h b/scene/gui/line_edit.h index 304faed9bd..e9314ba8dd 100644 --- a/scene/gui/line_edit.h +++ b/scene/gui/line_edit.h @@ -124,7 +124,6 @@ private: void shift_selection_check_post(bool); void selection_fill_at_cursor(); - void selection_delete(); void set_window_pos(int p_pos); void set_cursor_at_pixel_pos(int p_x); @@ -158,6 +157,7 @@ public: void select(int p_from = 0, int p_to = -1); void select_all(); + void selection_delete(); void deselect(); void delete_char(); |