Esempio n. 1
0
        void py_editorShown(object sender, EventArgs e)
        {
            py_editor_doc_page doc_page = get_active_script();

            if (doc_page != null)
            {
                doc_page.first_init();
                doc_page.script_text_box.Focus();
            }

            if (Type.GetType("Mono.Runtime") != null)
            {
                message_box("It's not recommended to use the editor for script editing under Mono due to buggy implementation of RichTextBox. You can load your script into the editor and to any other editor where you can edit it. Then in this editor you can press Ctrl+R (reload script) and F5 (run script).", "Warning", MessageBoxButtons.OK, MessageBoxIcon.Warning);
            }
        }