#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 a1c667f5f1 Bookmarks (and breakpoints) are saved in the project preferences. 20 years ago
..
Commands Bookmarks (and breakpoints) are saved in the project preferences. 20 years ago
Dom Added xml documentation cache. Xml documentation files with more than 300 entries are now converted into a binary format that does not require to be hold in memory to look up the documentation. 20 years ago
Gui Bookmarks (and breakpoints) are saved in the project preferences. 20 years ago
Internal Fixed some properties in the project files. 21 years ago
Project Bookmarks (and breakpoints) are saved in the project preferences. 20 years ago
Services Bookmarks (and breakpoints) are saved in the project preferences. 20 years ago
TextEditor Bookmarks (and breakpoints) are saved in the project preferences. 20 years ago