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
2016-03-29Fixed 'Bug 39798 - Can't disable matching braces highlighting'Mike Krüger
2016-01-27Merge remote-tracking branch 'origin/master' into roslyn-dark-skinVsevolod Kukol
2016-01-21Fixed 'Bug 37849 - Roslyn: typing on top of a selection does notMike Krüger
2016-01-15Merge remote-tracking branch 'origin/master' into roslyn-dark-skinMarius Ungureanu
2016-01-13[Ide] Switch default line ending conversion to leave as is.Mike Krüger
2016-01-11Merge remote-tracking branch 'origin/master' into roslyn-dark-skinVsevolod Kukol
2016-01-04[TextEditor] Removed VI mode.Mike Krüger
2015-12-16Merge remote-tracking branch 'origin/master' into roslyn-dark-skinVsevolod Kukol
2015-12-11Fixed 'Bug 36834 - Roslyn branch: editor settings are ignored unlessMike Krüger
2015-11-30[Ide] Highlighting theme depends on Ide themeVsevolod Kukol
2015-11-17[Ide] Fixed warnings.Mike Krüger
2015-10-23[Editor] Changing default "EnableHighlightUsages" aka. "Highlight identifier ...David Karlaš
2015-06-10[Ide] VI Mode no longer defaults to true.Mike Krüger
2015-04-24Improved api for using configuration propertiesLluis Sanchez Gual
2015-04-14[Ide] Removed old editor zooming infrastructure.Mike Krüger
2014-11-21[Ide] Fixed a merge error.Mike Krüger
2014-11-20Fixed some merge errors.Mike Krüger
2014-11-20Merge branch 'master' into xs6-editorMike Krüger
2014-07-28[Ide] Fixed plain editor options.Mike Krüger
2014-07-24Added some changes caused by merge conflicts.Mike Krüger
2014-07-15[SourceEditor] Document snapshotting uses now a faster version forMike Krüger
2014-07-08[SourceEditor] Updated source editor to use the new option model.Mike Krüger
2014-07-08[Ide] Editor options are now immutable from the editor implementationMike Krüger
2014-07-07[Ide] Some editor API cleanups.Mike Krüger
2014-07-07[Ide] Removed some unused global editor options.Mike Krüger
2014-07-01[Ide] Simplyfied editor option level.Mike Krüger
2014-07-01[Ide] Removed some editor options from the general options.Mike Krüger
2014-06-27[Ide] Moved extension chain to TextEditor level & ported usages +Mike Krüger
2014-06-26[Ide] Cleaned up the editor options API.Mike Krüger
2014-04-04[Ide] Moved more text editor infrastructure to MonoDevelop.Ide.Editor.Mike Krüger