bool IsCodeCoverageTextMarkerMatch(TextMarker marker)
		{
			if (marker is CodeCoverageTextMarker) {
				return true;
			}
			return false;
		}
		protected override TextMarker CreateMarker()
		{
			LineSegment lineSeg = Anchor.Line;
			TextMarker marker = new TextMarker(lineSeg.Offset, lineSeg.Length, TextMarkerType.SolidBlock, defaultColor, Color.White);
			Document.MarkerStrategy.AddMarker(marker);
			return marker;
		}
		protected override TextMarker CreateMarker()
		{
			LineSegment lineSeg = Document.GetLineSegment(startLine - 1);
			TextMarker marker = new TextMarker(lineSeg.Offset + startColumn - 1, Math.Max(endColumn - startColumn, 1), TextMarkerType.SolidBlock, Color.Yellow, Color.Blue);
			Document.MarkerStrategy.InsertMarker(0, marker);
			return marker;
		}
		public void SetUp()
		{
			document = new DocumentFactory().CreateDocument();
			document.TextContent = "0123456789";
			marker = new TextMarker(3, 3, TextMarkerType.Underlined);
			document.MarkerStrategy.AddMarker(marker);
		}
        public void Validate(String doc,TextArea textArea)
        {
            this.textArea = textArea;
            textArea.Document.MarkerStrategy.RemoveAll(p => true);
            XmlReaderSettings settings = new XmlReaderSettings();
            settings.CloseInput = true;
            settings.ValidationEventHandler += new ValidationEventHandler(settings_ValidationEventHandler);  // Your callback...
            settings.ValidationType = ValidationType.Schema;
            settings.Schemas.Add(schemaset);
            settings.ValidationFlags =
              XmlSchemaValidationFlags.ReportValidationWarnings |
              XmlSchemaValidationFlags.ProcessIdentityConstraints |
              XmlSchemaValidationFlags.ProcessInlineSchema |
              XmlSchemaValidationFlags.ProcessSchemaLocation;

            // Wrap document in an XmlNodeReader and run validation on top of that
            try
            {
                using (XmlReader validatingReader = XmlReader.Create(new StringReader(doc), settings))
                {
                    while (validatingReader.Read()) { /* just loop through document */ }
                }
            }
            catch (XmlException e)
            {
                var offset = textArea.Document.PositionToOffset(new TextLocation(e.LinePosition, e.LineNumber));

                var mk = new TextMarker(offset, 5, TextMarkerType.WaveLine,  Color.DarkBlue );
                mk.ToolTip = e.Message;
                textArea.Document.MarkerStrategy.AddMarker(mk);
            }
        }
示例#6
0
 protected override TextMarker CreateMarker()
 {
     LineSegment lineSeg = Anchor.Line;
     TextMarker marker = new TextMarker(lineSeg.Offset, lineSeg.Length, TextMarkerType.SolidBlock,
         Color.FromArgb(180, 38, 38), Color.White);
     return marker;
 }
示例#7
0
 public void BreakPoint(int start, int end, int lineStart, int colStart, int lineEnd, int colEnd)
 {
     var offset = start;
     var length = (end - start);
     var marker = new TextMarker(offset, length, TextMarkerType.SolidBlock, Color.Yellow);
     txtDebug.Document.MarkerStrategy.AddMarker(marker);
 }
示例#8
0
        void FTextEditorControl_ActiveTextAreaControl_SelectionManager_SelectionChanged(object sender, EventArgs e)
        {
            var textAreaControl = ActiveTextAreaControl;
            var textArea        = textAreaControl.TextArea;
            var doc             = Document;

            // Clear previous selection markers
            foreach (var marker in FSelectionMarkers)
            {
                var location = doc.OffsetToPosition(marker.Offset);
                doc.MarkerStrategy.RemoveMarker(marker);
                doc.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.PositionToLineEnd, location));
            }
            doc.CommitUpdate();
            FSelectionMarkers.Clear();

            var selectionManager = textAreaControl.SelectionManager;

            foreach (var selection in selectionManager.SelectionCollection)
            {
                // Ignore selection spanning over multiple lines.
                if (selection.StartPosition.Line != selection.EndPosition.Line)
                {
                    continue;
                }

                var selectedText = selection.SelectedText.Trim();

                // Ignore empty strings
                if (selectedText == string.Empty)
                {
                    continue;
                }

                for (int lineNumber = 0; lineNumber < doc.TotalNumberOfLines; lineNumber++)
                {
                    var lineSegment = doc.GetLineSegment(lineNumber);
                    // Highlight text which matches the selection
                    foreach (var word in lineSegment.Words)
                    {
                        var text  = word.Word;
                        var start = text.IndexOf(selectedText);
                        if (start >= 0)
                        {
                            var offset   = lineSegment.Offset + word.Offset + start;
                            var location = doc.OffsetToPosition(offset);

                            var marker = new SD.TextMarker(offset, selectedText.Length, SD.TextMarkerType.SolidBlock, Color.LightGray);
                            FSelectionMarkers.Add(marker);
                            doc.MarkerStrategy.AddMarker(marker);

                            doc.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.PositionToLineEnd, location));
                        }
                    }
                }
            }

            doc.CommitUpdate();
        }
        protected void OnValidate(object _, ValidationEventArgs vae)
        {
            var offset = textArea.Document.PositionToOffset(new TextLocation(vae.Exception.LinePosition-1,vae.Exception.LineNumber-1));

            var mk = new TextMarker(offset, GetWordLen(offset), TextMarkerType.WaveLine, vae.Severity == XmlSeverityType.Error ? Color.DarkBlue : Color.Green);
            mk.ToolTip = vae.Message;
            textArea.Document.MarkerStrategy.AddMarker(mk);
        }
		protected override TextMarker CreateMarker()
		{
			if (LineNumber >= Document.TotalNumberOfLines)
				LineNumber = Document.TotalNumberOfLines - 1;
			LineSegment lineSeg = Document.GetLineSegment(LineNumber);
			TextMarker marker = new TextMarker(lineSeg.Offset, lineSeg.Length, TextMarkerType.SolidBlock, Color.Red, Color.White);
			Document.MarkerStrategy.AddMarker(marker);
			return marker;
		}
示例#11
0
        /// <summary>
        /// Initializes a new instance of the TextEditorTextContent class.
        /// This TextEditorTextContent instance will be linked with a
        /// TextEditorControl.
        /// </summary>
        /// <param name="textBox">The TextEditorControl to link with.</param>
        public TextEditorTextContext(TextEditorControl textBox)
        {
            TextBox = textBox;
            SubscribeToTextBox();

            remoteMarker = new TextMarker(0, 0, TextMarkerType.SolidBlock, System.Drawing.Color.Yellow);

            // TODO: implement insert / delete
        }
示例#12
0
        public NiTextMarker(NiTextLines owner, TextMarker marker)
        {
            if (owner == null)
                throw new ArgumentNullException("owner");
            if (marker == null)
                throw new ArgumentNullException("marker");

            _owner = owner;
            _marker = marker;
        }
		protected virtual void Clear()
		{
			if (readOnlyMarker != null)
				this.Document.MarkerStrategy.RemoveMarker(readOnlyMarker);
			this.Document.Remove(0, this.Document.TextLength);
			this.Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.WholeTextArea));
			this.Document.CommitUpdate();
			readOnlyMarker = null;
			promptStartOffset = 0;
			promptEndOffset = 0;
		}
		/// <summary>
		/// Makes the current control content read-only (but still allows appending more content at the end).
		/// </summary>
		protected void MakeReadOnly()
		{
			if (this.Document.TextLength == 0)
				return;
			this.ActiveTextAreaControl.Caret.Position = this.Document.OffsetToPosition(this.Document.TextLength);
			if (readOnlyMarker == null) {
				readOnlyMarker = new TextMarker(0, this.Document.TextLength, TextMarkerType.Invisible) { IsReadOnly = true };
				this.Document.MarkerStrategy.AddMarker(readOnlyMarker);
			}
			readOnlyMarker.Offset = 0;
			readOnlyMarker.Length = this.Document.TextLength;
			this.Document.UndoStack.ClearAll(); // prevent user from undoing the prompt insertion
		}
示例#15
0
        /// <summary>
        /// Removes the marker.
        /// </summary>
        public void RemoveMarker()
        {
            if (Document != null && _marker != null)
            {
                Document.MarkerStrategy.RemoveMarker(_marker);

                int from = GetLineNumberForOffset(Document, _marker.Offset);
                int to = GetLineNumberForOffset(Document, _marker.Offset + _marker.Length);
                Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.LinesBetween, from, to));
                Document.CommitUpdate();
            }
            _marker = null;
        }
示例#16
0
        void MouseMoveCB(object sender, System.Windows.Forms.MouseEventArgs e)
        {
            try
            {
                var doc = Document;

                if (FUnderlineMarker != null)
                {
                    doc.MarkerStrategy.RemoveMarker(FUnderlineMarker);
                    doc.MarkerStrategy.RemoveMarker(FHighlightMarker);
                    var lastMarkerLocation = doc.OffsetToPosition(FUnderlineMarker.Offset);
                    doc.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.PositionToLineEnd, lastMarkerLocation));
                    doc.CommitUpdate();

                    FUnderlineMarker = null;
                    FHighlightMarker = null;
                    FLink            = Link.Empty;
                }

                if (Control.ModifierKeys == Keys.Control)
                {
                    var location = GetTextLocationAtMousePosition(e.Location);

                    if (!location.IsEmpty)
                    {
                        FLink = FLinkDataProvider.GetLink(doc, location);

                        if (!FLink.IsEmpty)
                        {
                            var hoverRegion = FLink.HoverRegion;
                            int offset      = doc.PositionToOffset(hoverRegion.ToTextLocation());
                            int length      = hoverRegion.EndColumn - hoverRegion.BeginColumn;

                            FUnderlineMarker = new SD.TextMarker(offset, length, SD.TextMarkerType.Underlined, Document.HighlightingStrategy.GetColorFor("Link").Color);
                            doc.MarkerStrategy.AddMarker(FUnderlineMarker);

                            FHighlightMarker = new SD.TextMarker(offset, length, SD.TextMarkerType.SolidBlock, Document.HighlightingStrategy.GetColorFor("Default").BackgroundColor, Document.HighlightingStrategy.GetColorFor("Link").Color);
                            doc.MarkerStrategy.AddMarker(FHighlightMarker);

                            doc.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.PositionToLineEnd, doc.OffsetToPosition(offset)));
                            doc.CommitUpdate();
                        }
                    }
                }
            }
            catch (Exception)
            {
                // Ignore
            }
        }
示例#17
0
        void AddErrorMarker(List <SD.TextMarker> errorMarkers, int column, int line, Color color)
        {
            column = Math.Max(column, 0);
            line   = Math.Max(line, 0);

            var doc      = Document;
            var location = new TextLocation(column, line);
            var offset   = doc.PositionToOffset(location);
            var segment  = doc.GetLineSegment(location.Line);
            var length   = segment.Length - offset + segment.Offset;
            var marker   = new SD.TextMarker(offset, length, SD.TextMarkerType.WaveLine, color);

            doc.MarkerStrategy.AddMarker(marker);
            doc.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.SingleLine, segment.LineNumber));
            errorMarkers.Add(marker);
        }
示例#18
0
        public void SetMarker(Context context)
        {
            editor.Document.MarkerStrategy.RemoveAll(m => m != null);
            if (Context.CurrentStatement != null)
            {
                statusBarLabel.Text = Context.CurrentStatement.ToString().Split('\n')[0].Trim();
                txtOutput.Text = debugStartContext.RootContext.Interpreter.Output;
                LineSegment seg = editor.Document.GetLineSegment(Context.CurrentStatement.LineNumber);
                TextMarker marker = new TextMarker(seg.Offset + Context.CurrentStatement.ColumnNumber, seg.Length - Context.CurrentStatement.ColumnNumber, TextMarkerType.SolidBlock, Color.Yellow);
                editor.Document.MarkerStrategy.AddMarker(marker);
                editor.ActiveTextAreaControl.Caret.Position = editor.Document.OffsetToPosition(seg.Offset);

                tree.Nodes.Clear();
                while (context.parent != null)
                {
                    foreach (object key in context.Variables.Keys)
                        addNode(null, key.ToString(), context.Variables[key]);
                    context = context.parent;
                }

                Application.DoEvents();
                this.Refresh();
            }
        }
示例#19
0
        public void evaluate()
        {
            var reader = new SchemeReader();
            var evaluator = new SchemeEvaluator();

            //var ast = reader.parseString( ActiveEditor.Text );
            var ast = reader.parseStringWithPos( ActiveEditor.Text, ActiveEditor.Name );
            List<SchemeObject> res;
            try
            {
                 res = evaluator.evaluate(ast);
            }
            catch (SchemeException e)
            {
                var document = codeWindow.Document;
                var marker = new TextMarker(e.offset, e.length, TextMarkerType.SolidBlock);
                document.MarkerStrategy.AddMarker(marker);
                var update = new TextAreaUpdate(TextAreaUpdateType.WholeTextArea);
                document.RequestUpdate(update);
                document.CommitUpdate();

                int length = resultWindow.Text.Length;
                resultWindow.AppendText(e.Message);
                resultWindow.Select(length, (resultWindow.Text.Length - length));
                resultWindow.SelectionColor = Color.Red;

                return;

            }

            // resultWindow.
            foreach( SchemeObject obj in res )
            {
                resultWindow.AppendText( obj.ToString() + "\n" );
            }
        }
		void DrawMarker(Graphics g, TextMarker marker, RectangleF drawingRect)
		{
			// draw markers later so they can overdraw the following text
			markersToDraw.Add(new MarkerToDraw(marker, drawingRect));
		}
			public MarkerToDraw(TextMarker marker, RectangleF drawingRect)
			{
				this.marker = marker;
				this.drawingRect = drawingRect;
			}
 public void UnderlineParseError(int startPosition, int length)
 {
     var marker = new TextMarker(startPosition, length, TextMarkerType.WaveLine, Color.Red);
     textBoxSource.Document.MarkerStrategy.AddMarker(marker);
     textBoxSource.Refresh();
 }
示例#23
0
		void SetMarker()
		{
			RemoveMarker();
			if (Document != null) {
				TextMarker marker = CreateMarker();
				// Perform editor update
				Document.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.SingleLine, LineNumber));
				Document.CommitUpdate();
				oldMarker = marker;
			}
			oldDocument = Document;
		}
示例#24
0
 public void ClearScanRegion()
 {
     if (_region != null)
     {
         _document.MarkerStrategy.RemoveMarker(_region);
         _region = null;
     }
 }
示例#25
0
        private void btnHighlightAll_Click(object sender, EventArgs e)
        {
            if (!_highlightGroups.ContainsKey(_editor))
                _highlightGroups[_editor] = new HighlightGroup(_editor);
            HighlightGroup group = _highlightGroups[_editor];

            if (string.IsNullOrEmpty(LookFor))
                // Clear highlights
                group.ClearMarkers();
            else {
                _search.LookFor = txtLookFor.Text;
                _search.MatchCase = chkMatchCase.Checked;
                _search.MatchWholeWordOnly = chkMatchWholeWord.Checked;

                bool looped = false;
                int offset = 0, count = 0;
                for(;;) {
                    TextRange range = _search.FindNext(offset, false, out looped);
                    if (range == null || looped)
                        break;
                    offset = range.Offset + range.Length;
                    count++;

                    var m = new TextMarker(range.Offset, range.Length,
                            TextMarkerType.SolidBlock, Color.Yellow, Color.Black);
                    group.AddMarker(m);
                }
                if (count == 0)
                    MessageBox.Show("Search text not found.");
                else
                    Close();
            }
        }
示例#26
0
		private void CodeValidated(object sender, EventArgs e)
		{
			IDocument docDocument = ActiveTextAreaControl.TextArea.Document;
			docDocument.MarkerStrategy.RemoveAll(x => { return (x.TextMarkerType == TextMarkerType.WaveLine); });

			foreach (LanguageError errError in ViewModel.Errors)
			{
				LineSegment lsgLine = docDocument.GetLineSegment(errError.Line);
				TextWord twdWord = lsgLine.GetWord(errError.Column);
				Int32 intWordOffest = docDocument.PositionToOffset(new TextLocation(errError.Column, errError.Line));
				TextMarker tmkError = new TextMarker(intWordOffest, (twdWord == null) ? 1 : twdWord.Length, TextMarkerType.WaveLine);
				tmkError.ToolTip = errError.Message;
				docDocument.MarkerStrategy.AddMarker(tmkError);
			}
			ActiveTextAreaControl.TextArea.Invalidate();
		}
示例#27
0
 public void AddMarker(TextMarker item)
 {
     markersTable.Clear();
     textMarker.Add(item);
 }
示例#28
0
 public void InsertMarker(int index, TextMarker item)
 {
     markersTable.Clear();
     textMarker.Insert(index, item);
 }
示例#29
0
		public void RemoveMarker()
		{
			if (oldDocument != null) {
				int from = SafeGetLineNumberForOffset(oldDocument, oldMarker.Offset);
				int to = SafeGetLineNumberForOffset(oldDocument, oldMarker.Offset + oldMarker.Length);
				oldDocument.MarkerStrategy.RemoveMarker(oldMarker);
				oldDocument.RequestUpdate(new TextAreaUpdate(TextAreaUpdateType.LinesBetween, from, to));
				oldDocument.CommitUpdate();
			}
			oldDocument = null;
			oldMarker = null;
		}
示例#30
0
        private void btnSerch_Click(object sender, EventArgs e)
        {
            var _editor = txtSchemaXML;
            if (!_highlightGroups.ContainsKey(_editor))
                _highlightGroups[_editor] = new HighlightGroup(_editor);
            HighlightGroup group = _highlightGroups[_editor];
            group.ClearMarkers();

            TextEditorSearcher _search = new TextEditorSearcher();
            _search.LookFor = txtLookFor.Text;
            _search.MatchCase = false;
            _search.MatchWholeWordOnly = false;
            _search.Document = _editor.Document;

            bool looped = false;
            int offset = 0, count = 0;
            for (; ; )
            {
                TextRange range = _search.FindNext(offset, false, out looped);
                if (range == null || looped)
                    break;
                offset = range.Offset + range.Length;
                count++;

                TextMarker m = new TextMarker(range.Offset, range.Length, TextMarkerType.SolidBlock, Color.Yellow, Color.Black);
                group.AddMarker(m);
            }
            if (count == 0)
                MessageBox.Show("没有找到你要查找的内容", "提示");

            Folding();
        }
 static bool IsXPathNodeTextMarkerMatch(TextMarker marker)
 {
     return marker is XPathNodeTextMarker;
 }
示例#32
0
        private void AddBranchMarker(IDocument document, int offset, int length, bool exTarget=false)
        {
            TextMarker marker ;

            if (exTarget)
            {
                marker = new TextMarker(offset, length, TextMarkerType.SolidBlock, Color.Firebrick, Color.White);    
            }
            else
            {
                marker = new TextMarker(offset, length, TextMarkerType.SolidBlock, Color.Gold);    
            }
            
            document.MarkerStrategy.AddMarker(marker);
            _branchMarkers.Add(marker);
        }
示例#33
0
 public void AddMarker(TextMarker marker)
 {
     _markers.Add(marker);
     _document.MarkerStrategy.AddMarker(marker);
 }
示例#34
0
        private void MarkRegisterUsage(string word, IDocument document, TextArea text)
        {
            if (_formatter == null) return;

            var hadRegisterMarks = _registerMarkers.Count > 0;
            if (hadRegisterMarks)
            {
                foreach(var m in _registerMarkers)
                    document.MarkerStrategy.RemoveMarker(m);
            }

            if (word == null || !Regex.IsMatch(word, "^[rp][0-9]+$"))
            {
                if (hadRegisterMarks)
                    text.Refresh();
                return;
            }

            foreach (var line in document.LineSegmentCollection)
            foreach (var w in line.Words)
            {
                if (w.Word != word)
                    continue;

                var marker = new TextMarker(line.Offset + w.Offset, w.Length, TextMarkerType.SolidBlock,
                                            Color.LightSalmon);
                document.MarkerStrategy.AddMarker(marker);
                _registerMarkers.Add(marker);
            }

            if (_registerMarkers.Count > 0 || hadRegisterMarks)
            {
                text.Refresh();
            }

        }
示例#35
0
 /// <summary>Sets the region to search. The region is updated 
 /// automatically as the document changes.</summary>
 public void SetScanRegion(int offset, int length)
 {
     var bkgColor = _document.HighlightingStrategy.GetColorFor("Default").BackgroundColor;
     _region = new TextMarker(offset, length, TextMarkerType.SolidBlock,
         bkgColor.HalfMix(Color.FromArgb(160,160,160)));
     _document.MarkerStrategy.AddMarker(_region);
 }
示例#36
0
 public void RemoveMarker(TextMarker item)
 {
     markersTable.Clear();
     textMarker.Remove(item);
 }