#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 bc52b86150 Use GDI (TextRenderer) instead of GDI+ (DrawString) for text rendering in the text editor. 20 years ago
..
Actions Fixed forum-8579: "Goto Matching Brace" doesn't work if "Highlighting matching braces" is deactivated 20 years ago
Document Use GDI (TextRenderer) instead of GDI+ (DrawString) for text rendering in the text editor. 20 years ago
Gui Use GDI (TextRenderer) instead of GDI+ (DrawString) for text rendering in the text editor. 20 years ago
Undo Change file header. 20 years ago
Util Use GDI (TextRenderer) instead of GDI+ (DrawString) for text rendering in the text editor. 20 years ago