6 Commits (2396e99ca4f4b900b4fd90d5795a8b6abf633656)

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