Ejemplo n.º 1
0
        /// <summary>
        /// evaluates all commands that follow in the list until
        /// <paramref name="lastEntry"/> is reached.
        /// </summary>
        public void EvaluateCommandsUntil(WorksheetEntry lastEntry)
        {
            List <WorksheetEntry> EntriesToEvaluate = new List <WorksheetEntry>();

            for (WorksheetEntry next = this; next != null && next != lastEntry; next = next.m_next)
            {
                //EntriesToEvaluate.Add(next);
                next.EvaluateCommand();
            }

            /*
             * var asyncExe = new Task(delegate () {
             *  foreach (var entry in EntriesToEvaluate) {
             *      m_owner.Invoke(new Action(delegate () {
             *          entry.Command.Focus();
             *          entry.EvaluateCommand();
             *      }));
             *      while (m_EvaluationInProgress) {
             *          System.Threading.Thread.Sleep(100);
             *      }
             *  }
             * });
             *
             * asyncExe.Start();
             */
        }
Ejemplo n.º 2
0
        /// <summary>
        /// creates a new document
        /// </summary>
        private void New()
        {
            if (CheckAltered())
            {
                if (this.CommandsListHead != null)
                {
                    this.CommandsListHead.Destroy();
                    this.CurrentCommand = null;
                }

                this.currentDocument = new Document();
                this.currentDocument.CommandAndResult.Add(new Document.Tuple {
                    Command = "restart"
                });
                this.currentDocument.CommandAndResult.Add(new Document.Tuple());

                this.CommandsListHead = new WorksheetEntry(this, this.currentDocument);
                this.CommandsListHead.EvaluateAllCommands();
                this.CurrentCommand = this.CommandsListHead;
                this.DocumentPath   = null;

                this.altered = false;

                ResetCommandQueue();
            }
        }
Ejemplo n.º 3
0
        private void Open(string fileName)
        {
            if (this.CommandsListHead != null)
            {
                this.CommandsListHead.Destroy();
                this.CurrentCommand = null;
            }

            ResetCommandQueue();

            try {
                if (fileName.ToLowerInvariant().EndsWith(".tex"))
                {
                    // try to load as LaTeX
                    // ++++++++++++++++++++
                    List <string> dummy;
                    this.DocumentPath = fileName;
                    LatexIO.SplitTexFile(fileName, out dummy, out this.currentDocument);

                    //this.TeXlinkFilename = fileName;
                    //this.MenuItem_Bws2Tex.Enabled = true;
                }
                else
                {
                    // try to load as LaTeX
                    // ++++++++++++++++++++

                    this.currentDocument = Document.Deserialize(fileName);
                    this.Altered         = false;
                    this.m_DocumentPath  = fileName;
                }
            } catch (Exception e) {
                MessageBox.Show(this,
                                e.GetType().Name + ":\n" + e.Message,
                                "Error opening file",
                                MessageBoxButtons.OK,
                                MessageBoxIcon.Error);
                return;
            }

            if (this.currentDocument.CommandAndResult.Count <= 0)
            {
                this.currentDocument.CommandAndResult.Add(new Document.Tuple {
                    Command = "\"Empty document - lets try restart?\""
                });
            }

            this.DocumentPath = this.m_DocumentPath;

            this.CommandsListHead = new WorksheetEntry(this, this.currentDocument);
            this.CurrentCommand   = this.CommandsListHead;
            //this.CommandsListHead.ResizeAll();

            string workingDirectory = Path.GetDirectoryName(fileName);

            if (workingDirectory != null && workingDirectory.Length > 0 && Directory.Exists(workingDirectory))
            {
                Directory.SetCurrentDirectory(workingDirectory);
            }
        }
Ejemplo n.º 4
0
 /// <summary>
 /// Creates a worksheet logic from a <see cref="Document"/>; recursively;
 /// </summary>
 private WorksheetEntry(Worksheet o, WorksheetEntry p, Document doc, int i)
     : this(o, doc, p, null, doc.CommandAndResult[i].Command, doc.CommandAndResult[i].InterpreterTextOutput) // perform recursion
 {
     Debug.Assert(this.Index == i);
     if (this.Index < doc.CommandAndResult.Count - 1)
     {
         new WorksheetEntry(o, this, doc, i + 1);
     }
 }
Ejemplo n.º 5
0
        public WorksheetEntry Delete()
        {
            //if (m_EvaluationInProgress)
            //    return null;

            if (m_prev == null && m_next == null)
            {
                // Last statement cannot be deleted
                Console.Beep();
                return(this);
            }

            m_doc.CommandAndResult.RemoveAt(Index);
            this.m_owner.Altered = true;

            WorksheetEntry newFocus = null;

            if (m_prev != null)
            {
                m_prev.m_next = this.m_next;
                newFocus      = m_prev;
            }
            if (m_next != null)
            {
                m_next.m_prev = this.m_prev;
                newFocus      = m_next;
                m_next.Index--;
            }
            Deleted = true;

            //m_owner.DocumentPanel.Controls.Remove(Prompt);
            m_owner.DocumentPanel.Controls.Remove(Command);
            m_owner.DocumentPanel.Controls.Remove(Result);
            m_owner.DocumentPanel.Controls.Remove(GraphicsResult);

            this.ResizeAll();
            newFocus.Command.Focus();
            m_owner.ClientRectPanel.ScrollControlIntoView(newFocus.Command);

            return(newFocus);
        }
Ejemplo n.º 6
0
        /// <summary>
        /// inserts an object into the linked list, after this object;
        /// </summary>
        /// <param name="cmdString"></param>
        /// <returns>the newly created object</returns>
        public WorksheetEntry InsertAfter(string cmdString)
        {
            //if (m_EvaluationInProgress)
            //    return null;

            WorksheetEntry newEntry;

            if (m_next != null)
            {
                // insert
                var old_next = this.m_next;
                newEntry = new WorksheetEntry(m_owner, this.m_doc, this, this.m_next, cmdString, null);
                {
                    int currentZoom = this.Command.Zoom;
                    newEntry.Command_ZoomChanged_locked = true;
                    newEntry.Command.Zoom = currentZoom;
                    newEntry.Result.Zoom  = currentZoom;
                    newEntry.Command_ZoomChanged_locked = false;
                }
                Debug.Assert(object.ReferenceEquals(m_next, newEntry));
                Debug.Assert(object.ReferenceEquals(newEntry.m_prev, this));
                Debug.Assert(object.ReferenceEquals(old_next.m_prev, newEntry));
                Debug.Assert(object.ReferenceEquals(newEntry.m_next, old_next));
                m_doc.CommandAndResult.Insert(newEntry.Index, new Document.Tuple());
            }
            else
            {
                // just add at the end
                newEntry = new WorksheetEntry(m_owner, this.m_doc, this, null, cmdString, null);
                Debug.Assert(object.ReferenceEquals(m_next, newEntry));
                Debug.Assert(object.ReferenceEquals(newEntry.m_prev, this));
                m_doc.CommandAndResult.Add(new Document.Tuple());
                Debug.Assert(newEntry.Index == m_doc.CommandAndResult.Count - 1);
            }

            this.ResizeAll();
            m_owner.Altered = true;
            return(newEntry);
        }
Ejemplo n.º 7
0
        /// <summary>
        /// private constructor
        /// </summary>
        private WorksheetEntry(Worksheet o, Document doc, WorksheetEntry p, WorksheetEntry n, string commandStr, string resultStr)
        {
            m_doc   = doc;
            m_owner = o;
            if (p != null)
            {
                this.m_prev = p;
                p.m_next    = this;
            }
            if (n != null)
            {
                this.m_next = n;
                n.m_prev    = this;
            }
            if (m_prev != null)
            {
                this.Index = m_prev.Index + 1;
            }

            m_owner.DocumentPanel.SuspendLayout();
            m_owner.BlockResizeClient = true;

            {
                this.GlowAnimationTimer          = new System.Windows.Forms.Timer(this.m_owner.components);
                this.GlowAnimationTimer.Interval = 40; // 25 fps
                this.GlowAnimationTimer.Tick    += new System.EventHandler(this.GlowAnimationTimer_Tick);
            }

            {
                Command = new FastColoredTextBox();
                m_owner.DocumentPanel.Controls.Add(Command);

                Command.AutoCompleteBracketsList = new char[] { '(', ')', '{', '}', '[', ']', '\"', '\"', '\'', '\'' };
                Command.AutoIndentExistingLines  = false;
                Command.AutoScrollMinSize        = new System.Drawing.Size(284, 285);
                Command.BackBrush   = null;
                Command.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D;

                //Command.CharHeight = 15;
                //Command.CharWidth = 7;
                Command.Cursor = System.Windows.Forms.Cursors.IBeam;
                Command.DelayedEventsInterval      = 200;
                Command.DelayedTextChangedInterval = 500;
                Command.DisabledColor = System.Drawing.Color.FromArgb(((int)(((byte)(100)))), ((int)(((byte)(180)))), ((int)(((byte)(180)))), ((int)(((byte)(180)))));
                Font fa = m_owner.CommandFont;
                Font fb = new Font("Courier New", 12.0F, FontStyle.Bold, GraphicsUnit.Point, ((byte)(0)));
                Command.Font = fb;

                Command.WordWrapMode = WordWrapMode.CharWrapControlWidth;
                //Command.WordWrapMode = WordWrapMode.CharWrapPreferredWidth;
                Command.WordWrap = true;

                Command.ImeMode                        = System.Windows.Forms.ImeMode.Off;
                Command.IsReplaceMode                  = false;
                Command.Location                       = new System.Drawing.Point(0, 24);
                Command.Name                           = "fctb";
                Command.Paddings                       = new System.Windows.Forms.Padding(0);
                Command.PreferredLineWidth             = 80;
                Command.ReservedCountOfLineNumberChars = 3;
                Command.SelectionColor                 = System.Drawing.Color.FromArgb(((int)(((byte)(60)))), ((int)(((byte)(0)))), ((int)(((byte)(0)))), ((int)(((byte)(255)))));
                //Command.ServiceColors = ((FastColoredTextBoxNS.ServiceColors)(resources.GetObject("fctb.ServiceColors")));
                Command.Size     = new System.Drawing.Size(346, 311);
                Command.TabIndex = 3;
                Command.Text     = commandStr != null ? commandStr : "";
                Command.Zoom     = 100;
                Command.SelectionChangedDelayed += new System.EventHandler(Command_SelectionChangedDelayed);
                Command.AutoIndentNeeded        += this.Command_AutoIndentNeeded;
                Command.LineRemoved             += this.Command_LineRemoved;
                Command.LineInserted            += this.Command_LineInserted;
                Command.TextChanged             += this.Command_TextChanged;
                Command.ZoomChanged             += this.ZoomChanged;
                Command.SelectionChanged        += this.SelectionChanged;

                Command.Language = Language.CSharp;
                Command.OnSyntaxHighlight(new TextChangedEventArgs(Command.Range));

                Command.GotFocus += Command_GotFocus;
                Command.KeyDown  += this.KeyDown;

                // Map redo action to Ctrl+Y (as in most editors)
                Command.HotkeysMapping.Add(Keys.Control | Keys.Y, FCTBAction.Redo);
            }

            {
                AutoCompleteBox = new AutocompleteMenu(this.Command);
                AutoCompleteBox.MinFragmentLength = 2;

                AutoCompleteBox.Items.MaximumSize = new System.Drawing.Size(200, 300);
                AutoCompleteBox.Items.Width       = 200;

                AutoCompleteBox.Items.SetAutocompleteItems(
                    new DynamicAutoCompleteList(m_owner));
            }

            {
                m_owner.BlockTextChanged = true;
                Result = new FastColoredTextBox();
                m_owner.DocumentPanel.Controls.Add(Result);

                Result.BorderStyle   = System.Windows.Forms.BorderStyle.Fixed3D;
                Result.Cursor        = System.Windows.Forms.Cursors.IBeam;
                Result.DisabledColor = System.Drawing.Color.FromArgb(((int)(((byte)(100)))), ((int)(((byte)(180)))), ((int)(((byte)(180)))), ((int)(((byte)(180)))));
                Result.Font          = new Font("Courier New", 12.0F, FontStyle.Bold, GraphicsUnit.Point, ((byte)(0)));

                Result.WordWrapMode = WordWrapMode.CharWrapControlWidth;
                Result.WordWrap     = true;

                Result.Paddings        = new System.Windows.Forms.Padding(0);
                Result.ShowLineNumbers = false;
                Result.SelectionColor  = System.Drawing.Color.FromArgb(((int)(((byte)(60)))), ((int)(((byte)(0)))), ((int)(((byte)(0)))), ((int)(((byte)(255)))));

                Result.Zoom         = 100;
                Result.ZoomChanged += this.ZoomChanged;

                Result.MouseWheel       += Scroll;
                Result.TextChanged      += Result_TextChanged;
                Result.GotFocus         += Result_GotFocus;
                Result.KeyDown          += KeyDown;
                Result.SelectionChanged += this.SelectionChanged;


                Result.BackColor   = Color.White;
                Result.BackBrush   = null;
                Result.ForeColor   = Color.DarkBlue;
                Result.BorderStyle = BorderStyle.None;


                m_defaultResultCharHeight = Result.CharHeight;
                Result.Text = resultStr != null ? resultStr : "";
                // This seems to be the only way to tell FastColoredTextBox to
                // be of zero height if empty
                Result.CharHeight = Result.Text.IsNullOrEmpty() ? 0 : m_defaultResultCharHeight;

                Result.ReadOnly          = true;
                m_owner.BlockTextChanged = false;
            }

            {
                GraphicsResult = new PictureBox();
                m_owner.DocumentPanel.Controls.Add(GraphicsResult);

                GraphicsResult.SizeMode = PictureBoxSizeMode.Zoom;

                GraphicsResult.Visible = false; // only activated in special cases.
            }

            m_owner.DocumentPanel.ResumeLayout();
            //Command.Show();
            //Result.Show();

            Resize();

            m_owner.BlockResizeClient = false;
        }