Esempio n. 1
0
        public void CreatePluginWindows(IProfileDocument profileDocument)
        {
            ScriptEditor editor = new ScriptEditor();

            _editor            = editor;
            _editor.ScriptCode = _scriptSrc;
            profileDocument.AddDocument(editor);
            _editor.ScriptChanged += new EventHandler(_editor_ScriptChanged);
        }
Esempio n. 2
0
 public void CreatePluginWindows(IProfileDocument profileDocument)
 {
     ScriptEditor editor = new ScriptEditor();
     _editor = editor;
     _editor.ScriptCode = _scriptSrc;
     profileDocument.AddDocument(editor);
     _editor.ScriptChanged += new EventHandler(_editor_ScriptChanged);
 }
Esempio n. 3
0
 public void DestroyPluginWindows(IProfileDocument profileDocument)
 {
     _editor.ScriptChanged -= _editor_ScriptChanged;
     _editor.Close();
 }
Esempio n. 4
0
 public void DestroyPluginWindows(IProfileDocument profileDocument)
 {
     _editor.ScriptChanged -= _editor_ScriptChanged;
     _editor.Close();
 }
 public void CreatePluginWindows(JinxBot.Plugins.UI.IProfileDocument profileDocument)
 {
     m_profileDoc = profileDocument;
 }