| 1744 | } |
| 1745 | |
| 1746 | void CodeTextEditor::set_warning_count(int p_warning_count) { |
| 1747 | warning_button->set_text(itos(p_warning_count)); |
| 1748 | warning_button->set_visible(p_warning_count > 0); |
| 1749 | if (!p_warning_count) { |
| 1750 | _set_show_warnings_panel(false); |
| 1751 | } |
| 1752 | } |
| 1753 | |
| 1754 | void CodeTextEditor::toggle_bookmark() { |
| 1755 | Vector<int> sorted_carets = text_editor->get_sorted_carets(); |
no test coverage detected