diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-09 08:28:12 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-09 08:28:12 +0200 |
| commit | c2cf640753cbf0b4a74c5dba8a6ae815e2923331 (patch) | |
| tree | 01188bd5d5bf39cd34ca3bf0657ad8e9c135ccb8 /editor/code_editor.h | |
| parent | dcffa0ee6461b40c0378eccc55f6474802c41bb9 (diff) | |
| parent | 862369f8420608d131dda9a3da2d7dd860fce72f (diff) | |
Merge pull request #30435 from bojidar-bg/14513-show-matches-count
Display a count of matches when searching in the code editor
Diffstat (limited to 'editor/code_editor.h')
| -rw-r--r-- | editor/code_editor.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/editor/code_editor.h b/editor/code_editor.h index 5af1f531a9..700e72627c 100644 --- a/editor/code_editor.h +++ b/editor/code_editor.h @@ -83,11 +83,13 @@ class FindReplaceBar : public HBoxContainer { int result_line; int result_col; + int results_count; bool replace_all_mode; bool preserve_cursor; void _get_search_from(int &r_line, int &r_col); + void _update_results_count(); void _show_search(); void _hide_bar(); |