mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
Documentation search fixes
Updates rich_text_label so that the built-in documentation can be searched Previously, it would only find the first result and would not select other results Renames "_entered" functions to "_submitted"
This commit is contained in:
parent
48fe9c9794
commit
8ab13f8ace
50 changed files with 223 additions and 137 deletions
|
|
@ -68,7 +68,7 @@ class EditorSpinSlider : public Range {
|
|||
|
||||
void _grabber_gui_input(const Ref<InputEvent> &p_event);
|
||||
void _value_input_closed();
|
||||
void _value_input_entered(const String &);
|
||||
void _value_input_submitted(const String &);
|
||||
void _value_focus_exited();
|
||||
bool hide_slider;
|
||||
bool flat;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue