diff options
| author | Lluis Sanchez <llsan@microsoft.com> | 2017-04-04 16:31:50 +0300 |
|---|---|---|
| committer | Lluis Sanchez <llsan@microsoft.com> | 2017-04-04 16:31:50 +0300 |
| commit | 227bae4b786110bc448609e1097f3fc2c1d62d60 (patch) | |
| tree | 7e860d9a91bbf3f39d3650af86ce40d46e0ca69e /main/src/core/MonoDevelop.Ide/ExtensionModel | |
| parent | a192b8480635fb8dd0052b1c88bf28a90f756691 (diff) | |
Fix serialization of user policies
Fixed bug when getting the Default policy. It was looked up using the
policy name instead of the Id. As a result, default policies were not
properly loaded.
User policies are now serialized using the system default policy set as diff
base, so only values that are different WRT the default set are serialized.
If the values of the default set change, then users will get the new values,
unless they were explicitly changed.
Use the Mono text formatting style as default style.
Diffstat (limited to 'main/src/core/MonoDevelop.Ide/ExtensionModel')
| -rw-r--r-- | main/src/core/MonoDevelop.Ide/ExtensionModel/Policies.addin.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/src/core/MonoDevelop.Ide/ExtensionModel/Policies.addin.xml b/main/src/core/MonoDevelop.Ide/ExtensionModel/Policies.addin.xml index 8603402ceb..21514931fb 100644 --- a/main/src/core/MonoDevelop.Ide/ExtensionModel/Policies.addin.xml +++ b/main/src/core/MonoDevelop.Ide/ExtensionModel/Policies.addin.xml @@ -12,6 +12,9 @@ <Extension path = "/MonoDevelop/ProjectModel/PolicySets/Mono" > <Policies resource="MonoTextStylePolicy.xml" /> </Extension> +<Extension path = "/MonoDevelop/ProjectModel/PolicySets/Default" > + <Policies resource="MonoTextStylePolicy.xml" /> +</Extension> <Extension path = "/MonoDevelop/ProjectModel/PolicySets/VisualStudio" > <Policies resource="VisualStudioTextStylePolicy.xml" /> </Extension> |