Returns whether a selection is currently active.
| 104 | /// Returns whether a selection is currently active. |
| 105 | /// </summary> |
| 106 | bool has_selection() const { return _select_end > _select_beg; } |
| 107 | |
| 108 | /// <summary> |
| 109 | /// Searches the text of this text editor for the specific search <paramref name="text"/>, starting at the cursor and scrolls to its position when found. |