|
BookmarkManager
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
CustomLineManager
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
FoldingStrategy
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
FormattingStrategy
|
fix #942
|
2018-08-08 18:19:08 +02:00 |
|
HighlightingStrategy
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
LineManager
|
FIX #1518
|
2018-11-24 12:52:36 +03:00 |
|
MarkerStrategy
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
Selection
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
TextBufferStrategy
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
AbstractSegment.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
DefaultDocument.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
DefaultTextEditorProperties.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
DocumentEventArgs.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
DocumentFactory.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
IDocument.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
ISegment.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
ITextEditorProperties.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
TextAnchor.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
TextLocation.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
|
TextUtilities.cs
|
initial commit
|
2015-05-14 21:35:07 +02:00 |
