mirror of
https://github.com/godotengine/godot.git
synced 2025-10-31 21:51:22 +00:00
size() <= 0 and size() < 1.
This commit is contained in:
parent
4f4031a675
commit
7a1a970c25
12 changed files with 16 additions and 16 deletions
|
|
@ -1696,7 +1696,7 @@ void ScriptTextEditor::_edit_option(int p_op) {
|
|||
} break;
|
||||
case DEBUG_GOTO_NEXT_BREAKPOINT: {
|
||||
PackedInt32Array bpoints = tx->get_breakpointed_lines();
|
||||
if (bpoints.size() <= 0) {
|
||||
if (bpoints.is_empty()) {
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
@ -1711,7 +1711,7 @@ void ScriptTextEditor::_edit_option(int p_op) {
|
|||
} break;
|
||||
case DEBUG_GOTO_PREV_BREAKPOINT: {
|
||||
PackedInt32Array bpoints = tx->get_breakpointed_lines();
|
||||
if (bpoints.size() <= 0) {
|
||||
if (bpoints.is_empty()) {
|
||||
return;
|
||||
}
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue