| 301 | } |
| 302 | |
| 303 | void Selection::AddSelectionWithoutTrim(SelectionRange range) { |
| 304 | ranges.push_back(range); |
| 305 | mainRange = ranges.size() - 1; |
| 306 | } |
| 307 | |
| 308 | void Selection::TentativeSelection(SelectionRange range) { |
| 309 | if (!tentativeMain) { |
no test coverage detected