Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/mono/monodevelop.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2014-07-01[Ide] Simplyfied editor option level.Mike Krüger
2014-06-27Merge branch 'master' into retina-editorMike Krüger
2014-05-02Fix a bunch of warningsMichael Hutchinson
2014-04-04Centralize some font handlingMichael Hutchinson
2014-04-02[Ide] Added basic text editor model.Mike Krüger
2014-01-31Fixed 'Bug 13540 - use antialiasing prerence --> cannot turn it offMike Krüger
2013-03-19[TextEditor] Gutter font can now be changed.Mike Krüger
2012-09-20Get the ColorScheme value from the IdeProperties objectLluis Sanchez
2011-09-30[Ide] Added CommonTextEditorOptions classMichael Hutchinson