Esempio n. 1
0
        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);
        }
Esempio n. 2
0
        void HandlePolicyChanged(object sender, MonoDevelop.Projects.Policies.PolicyChangedEventArgs args)
        {
            TextStylePolicy pol = MonoDevelop.Projects.Policies.PolicyService.GetDefaultPolicy <TextStylePolicy> ("text/plain");

            UpdateStylePolicy(pol);
        }