diff options
| author | Rémi Verschelde | 2018-05-16 10:57:11 +0200 |
|---|---|---|
| committer | GitHub | 2018-05-16 10:57:11 +0200 |
| commit | fcc321f75fd29bee8c115b4ea1a0ad13128c2bde (patch) | |
| tree | 50d4a71fb0f2040dba9117616a7cb2921310edd1 /editor/code_editor.h | |
| parent | 98e5a3ea426f12b4ae439f67d29a5c6cfc5f39d4 (diff) | |
| parent | 592ff9bb9d1bbfa11a7635b988b331a7bbadc693 (diff) | |
| download | godot-fcc321f75fd29bee8c115b4ea1a0ad13128c2bde.tar.gz godot-fcc321f75fd29bee8c115b4ea1a0ad13128c2bde.tar.zst godot-fcc321f75fd29bee8c115b4ea1a0ad13128c2bde.zip | |
Merge pull request #18921 from volzhs/margin-find-replace-bar
Add margin bottom with find/replace bar on script editor
Diffstat (limited to '')
| -rw-r--r-- | editor/code_editor.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editor/code_editor.h b/editor/code_editor.h index a860ad24e..2a3bb1ba7 100644 --- a/editor/code_editor.h +++ b/editor/code_editor.h @@ -63,7 +63,7 @@ class FindReplaceBar : public HBoxContainer { GDCLASS(FindReplaceBar, HBoxContainer); - Control *container; + MarginContainer *container; LineEdit *search_text; ToolButton *find_prev; ToolButton *find_next; |