godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-15 13:51:40 +00:00
Code Releases Wiki Activity

Implements "Batch Rename" editor tool.

Browse Source
This commit is contained in:
Blazej Floch
2018-01-21 01:12:25 -05:00
parent c58891ff4c
commit e58b10c883
7 changed files with 831 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scene/gui/line_edit.h
View File

@@ -121,7 +121,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);
@@ -157,6 +156,7 @@ public:
void select(int p_from = 0, int p_to = -1);
void select_all();
void selection_delete();
void deselect();
void delete_char();