Beispiel #1
0
 /// <summary>
 /// 添加断点
 /// </summary>
 /// <param name="breakPoint"></param>
 /// <returns></returns>
 public void AddBreakPoint(EditorBreakPoint breakPoint)
 {
     if (engine != null)
     {
         if (engine.BreakPoints.Where(m => m.Line == breakPoint.Line).Count() == 0)
         {
             engine.BreakPoints.Add(new BreakPoint(breakPoint.Line, breakPoint.Column));
         }
     }
 }
Beispiel #2
0
 /// <summary>
 /// 删除断点
 /// </summary>
 /// <param name="breakPoint"></param>
 /// <returns></returns>
 public void RemoveBreakPoint(EditorBreakPoint breakPoint)
 {
     if (engine != null)
     {
         var currentBreakPoint = engine.BreakPoints.Where(m => m.Line == breakPoint.Line).FirstOrDefault();
         if (currentBreakPoint != null)
         {
             engine.BreakPoints.Remove(currentBreakPoint);
         }
     }
 }
Beispiel #3
0
        private void IconBarMargin_MouseDown(AbstractMargin sender, Point mousepos, MouseButtons mouseButtons)
        {
            if (mouseButtons != MouseButtons.Left)
            {
                return;
            }

            var textArea = this.txtCode.ActiveTextAreaControl.TextArea;

            int yPos       = mousepos.Y;
            int lineHeight = textArea.TextView.FontHeight;
            int lineNumber = (yPos + textArea.VirtualTop.Y) / lineHeight;

            //是否已经存在该断点
            //if(this.txtCode.Document.BookmarkManager.Marks)

            //if (BreakPoints.Any(p => p.Line == lineNumber + 1) || lineNumber >= textArea.Document.TotalNumberOfLines)
            //    return;


            string text   = textArea.Document.GetText(textArea.Document.GetLineSegment(lineNumber));
            int    offset = -1;

            for (int i = 0; i < text.Length; i++)
            {
                if (
                    !Char.IsWhiteSpace(text[i]) &&
                    text[i] != '/'
                    )
                {
                    offset = i;
                    break;
                }
            }

            if (offset == -1)
            {
                return;
            }

            var breakPoint = new EditorBreakPoint(lineNumber + 1, offset);

            db.AddBreakPoint(breakPoint);

            var document = this.txtCode.Document;

            var mark = new BreakPointMark(
                document,
                new TextLocation(
                    offset,
                    lineNumber
                    )
                );

            mark.Removed += (s, e) =>
            {
                db.RemoveBreakPoint(breakPoint);
            };

            document.BookmarkManager.AddMark(mark);

            this.txtCode.Refresh();
        }
Beispiel #4
0
        void IconBarMargin_MouseDown(AbstractMargin sender, Point mousepos, MouseButtons mouseButtons)
        {
            if (mouseButtons != MouseButtons.Left)
            {
                return;
            }

            var textArea = _textEditor.ActiveTextAreaControl.TextArea;

            int yPos       = mousepos.Y;
            int lineHeight = textArea.TextView.FontHeight;
            int lineNumber = (yPos + textArea.VirtualTop.Y) / lineHeight;

            if (BreakPoints.Any(p => p.Line == lineNumber + 1) || lineNumber >= textArea.Document.TotalNumberOfLines)
            {
                return;
            }

            string text   = textArea.Document.GetText(textArea.Document.GetLineSegment(lineNumber));
            int    offset = -1;

            for (int i = 0; i < text.Length; i++)
            {
                if (
                    !Char.IsWhiteSpace(text[i]) &&
                    text[i] != '/'
                    )
                {
                    offset = i;
                    break;
                }
            }

            if (offset == -1)
            {
                return;
            }

            var breakPoint = new EditorBreakPoint(lineNumber + 1, offset);

            BreakPoints.Add(breakPoint);

            if (_script != null)
            {
                breakPoint.BreakPoint = new BreakPoint(Script.Script, lineNumber + 1, offset);
                _script.Engine.BreakPoints.Add(breakPoint.BreakPoint);
            }

            var document = _textEditor.Document;

            var mark = new BreakPointMark(
                document,
                new TextLocation(
                    offset,
                    lineNumber
                    )
                );

            mark.Removed += (s, e) =>
            {
                BreakPoints.Remove(breakPoint);
                _script?.Engine.BreakPoints.Remove(breakPoint.BreakPoint);
            };

            document.BookmarkManager.AddMark(mark);

            _textEditor.Refresh();
        }