6 Commits (eea162a9c96963bf9ef0ede6c50908c3f8cf8e56)

Author SHA1 Message Date
mike bcb45ff77e [Refactoring] Better use of the text editor options class in the 14 years ago
Daniel Grunwald 444fe4ebf7 Make IParsedFile.LastWriteTime nullable. 14 years ago
Mike Krüger 2ec03c26d7 Added a text editor options class that contains options for text 14 years ago
Daniel Grunwald fba2d7c273 ITextSource.MoveOffsetTo: make AnchorMovementType parameter optional. 14 years ago
Daniel Grunwald bcad2e12f7 DocumentScript bugfixes. 14 years ago
Daniel Grunwald 8179556203 Add DocumentScript that implements Script using a mutable document. 14 years ago