Marks the editor as no longer being modified.
| 180 | /// Marks the editor as no longer being modified. |
| 181 | /// </summary> |
| 182 | void clear_modified() { _undo_base_index = _undo_index; } |
| 183 | |
| 184 | /// <summary> |
| 185 | /// Changes the read-only state of this text editor. |