You've already forked godot
mirror of
https://github.com/godotengine/godot.git
synced 2025-11-13 13:31:48 +00:00
Rename empty() to is_empty()
This commit is contained in:
@@ -102,7 +102,7 @@ void EditorPerformanceProfiler::_monitor_draw() {
|
||||
}
|
||||
}
|
||||
|
||||
if (active.empty()) {
|
||||
if (active.is_empty()) {
|
||||
info_message->show();
|
||||
return;
|
||||
}
|
||||
@@ -217,7 +217,7 @@ void EditorPerformanceProfiler::_build_monitor_tree() {
|
||||
TreeItem *item = _create_monitor_item(i.value().name, base);
|
||||
item->set_checked(0, monitor_checked.has(i.key()));
|
||||
i.value().item = item;
|
||||
if (!i.value().history.empty()) {
|
||||
if (!i.value().history.is_empty()) {
|
||||
i.value().update_value(i.value().history.front()->get());
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user