#develop (short for SharpDevelop) is a free IDE for .NET programming languages.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 
Daniel Grunwald 78bf5a97eb Merged Corsavy r1251:1300 to trunk. 20 years ago
..
BookmarkManager Implemented SD2-546: Breakpoints that will not be hit should have different icon; 20 years ago
CustomLineManager Change file header. 20 years ago
FoldingStrategy Change file header. 20 years ago
FormattingStrategy Change file header. 20 years ago
HighlightingStrategy Merged Corsavy r1251:1300 to trunk. 20 years ago
LineManager Change file header. 20 years ago
MarkerStrategy Change file header. 20 years ago
Selection Change file header. 20 years ago
TextBufferStrategy Change file header. 20 years ago
AbstractSegment.cs Change file header. 20 years ago
DefaultDocument.cs Change file header. 20 years ago
DefaultTextEditorProperties.cs Applied patch by Scott Ferret: Enhancement to Cut/Copy/Paste 20 years ago
DocumentEventArgs.cs Change file header. 20 years ago
DocumentFactory.cs Fixed SD2-661: Project browser cannot be navigated with keyboard 20 years ago
IDocument.cs Change file header. 20 years ago
ISegment.cs Change file header. 20 years ago
ITextEditorProperties.cs Applied patch by Scott Ferret: Enhancement to Cut/Copy/Paste 20 years ago
TextUtilities.cs Change file header. 20 years ago