mirror of
https://github.com/godotengine/godot.git
synced 2025-12-08 06:09:55 +00:00
Add String::remove_char(s) methods for performance and convenience
This commit is contained in:
parent
cae3d722a3
commit
331a43a9d8
35 changed files with 221 additions and 54 deletions
|
|
@ -226,7 +226,7 @@ void PropertySelector::_update_search() {
|
|||
|
||||
Ref<Texture2D> icon;
|
||||
script_methods = false;
|
||||
String rep = mi.name.replace("*", "");
|
||||
String rep = mi.name.remove_char('*');
|
||||
if (mi.name == "*Script Methods") {
|
||||
icon = search_options->get_editor_theme_icon(SNAME("Script"));
|
||||
script_methods = true;
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue