| 112 | } |
| 113 | |
| 114 | void MockEditorInterface::set_current_indicator( |
| 115 | int indicator_index) { |
| 116 | auto doc = active_document(); |
| 117 | if (!doc) |
| 118 | return; |
| 119 | if (indicator_index >= static_cast<int>(doc->indicator_info.size())) |
| 120 | doc->indicator_info.resize(indicator_index + 1); |
| 121 | doc->current_indicator = indicator_index; |
| 122 | } |
| 123 | |
| 124 | void MockEditorInterface::indicator_fill_range(TextPosition from, |
| 125 | TextPosition to) { |
no test coverage detected