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
diff options
context:
space:
mode:
authorAnže Vodovnik <anvod@microsoft.com>2019-04-08 18:02:30 +0300
committerAnže Vodovnik <anvod@microsoft.com>2019-04-08 18:41:44 +0300
commit74afa7f36daa6b3e226eae870900fc5312297a36 (patch)
tree3893c5bc34a48eb79a47384c62673fb209dbb20a /main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs
parentf994e69d01388dccdcbf0a87c30583c5f1656a58 (diff)
Changing configuration value to mark the editor as default.
Diffstat (limited to 'main/src/core/Mono.TextEditor.Shared/Mono.TextEditor/TextEditorOptions.cs')
0 files changed, 0 insertions, 0 deletions