void HandlePolicyChanged(object sender, MonoDevelop.Projects.Policies.PolicyChangedEventArgs args) { var mimeTypes = DesktopService.GetMimeTypeInheritanceChain(textEditor.MimeType); var currentPolicy = policyContainer.Get <TextStylePolicy> (mimeTypes); textEditor.Options = DefaultSourceEditorOptions.Instance.WithTextStyle(currentPolicy); }
void HandlePolicyChanged(object sender, MonoDevelop.Projects.Policies.PolicyChangedEventArgs args) { TextStylePolicy pol = MonoDevelop.Projects.Policies.PolicyService.GetDefaultPolicy <TextStylePolicy> ("text/plain"); UpdateStylePolicy(pol); }