Esempio n. 1
0
        public virtual void Activate()
        {
            engine.active_profile = this;
            foreach (var library in engine.vocabularies.Values)
            {
                library.grammar.enabled = vocabularies.ContainsKey(library.name);
            }

            engine.main_grammar.select_documents(documents.Keys);

            if (Global.Main_Window != null)
            {
                engine.set_title();
            }
        }