Inheritance: UserTabbedDocument
Exemple #1
0
 public void UpdateCaretPosition(CodeDocument document)
 {
     if (this.sandDockManager1.ActiveTabbedDocument != document)
     {
         return;
     }
     this.UpdateCaretPosition();
 }
Exemple #2
0
        private void pasteToolStripMenuItem_Click(object sender, EventArgs e)
        {
            CodeDocument codeDocument = this.sandDockManager1.ActiveTabbedDocument as CodeDocument;

            if (codeDocument == null)
            {
                return;
            }
            codeDocument.Content.Paste();
        }
Exemple #3
0
        private void copyMenuItem_Activate(object sender, EventArgs e)
        {
            CodeDocument codeDocument = this.sandDockManager1.ActiveTabbedDocument as CodeDocument;

            if (codeDocument == null)
            {
                return;
            }
            codeDocument.Content.Copy();
        }
Exemple #4
0
        private void saveScriptMenuItem_Activate(object sender, EventArgs e)
        {
            CodeDocument codeDocument = this.sandDockManager1.ActiveTabbedDocument as CodeDocument;

            if (codeDocument == null)
            {
                return;
            }
            codeDocument.SaveFile();
        }
Exemple #5
0
        private void functionToolStripMenuItem_Click(object sender, EventArgs e)
        {
            CodeDocument codeDocument = this.sandDockManager1.ActiveTabbedDocument as CodeDocument;

            if (codeDocument == null)
            {
                return;
            }
            codeDocument.Content.Paste(((ToolStripMenuItem)sender).Text + "(");
            codeDocument.Content.ShowCodeHelper();
        }
Exemple #6
0
        private void runMenuItem_Activate(object sender, EventArgs e)
        {
            CodeDocument codeDocument = this.sandDockManager1.ActiveTabbedDocument as CodeDocument;

            if (codeDocument == null)
            {
                return;
            }
            codeDocument.Run();
            this.UpdateCaretPosition();
        }
Exemple #7
0
        private void openScriptMenuItem_Activate(object sender, EventArgs e)
        {
            if (this.openFileDialog.ShowDialog(this) != DialogResult.OK)
            {
                return;
            }
            CodeDocument codeDocument = this.CreateDocument();

            codeDocument.LoadFile(this.openFileDialog.FileName);
            codeDocument.Open();
        }
Exemple #8
0
        public void UpdateCaretPosition()
        {
            CodeDocument codeDocument = this.sandDockManager1.ActiveTabbedDocument as CodeDocument;

            if (codeDocument == null)
            {
                return;
            }
            NomadTextBox.Position caretPosition = codeDocument.Content.CaretPosition;
            this.lineStatusLabel.Text     = "Line " + (caretPosition.line + 1);
            this.columnStatusLabel.Text   = "Col " + (caretPosition.column + 1);
            this.codeMapViewerDock1.Image = codeDocument.GetLineImage(codeDocument.Content.CaretPosition.line);
        }
Exemple #9
0
 public void UpdateCaretPosition(CodeDocument document)
 {
     if (this.sandDockManager1.ActiveTabbedDocument != document)
     {
         return;
     }
     this.UpdateCaretPosition();
 }
Exemple #10
0
        private void newFileMenuItem_Activate(object sender, EventArgs e)
        {
            CodeDocument codeDocument = this.CreateDocument();

            codeDocument.Open();
        }