Example #1
0
		public SourceView(MdbGui mdbGui)
		{
			this.mdbGui = mdbGui;
			
			// Create tags
			TextTag currentLineTag = new TextTag("currentLine");
			currentLineTag.Background = "yellow";
			this.Buffer.TagTable.Add(currentLineTag);
			
			TextTag breakpointTag = new TextTag("breakpoint");
			breakpointTag.Background = "red";
			this.Buffer.TagTable.Add(breakpointTag);
			
			TextTag disabledBreakpointTag = new TextTag("disabledBreakpoint");
			disabledBreakpointTag.Background = "gray";
			this.Buffer.TagTable.Add(disabledBreakpointTag);
			
			
			UpdateDisplay(new SourceCodeLocation[0]);
		}
Example #2
0
        public SourceView(MdbGui mdbGui)
        {
            this.mdbGui = mdbGui;

            // Create tags
            TextTag currentLineTag = new TextTag("currentLine");

            currentLineTag.Background = "yellow";
            this.Buffer.TagTable.Add(currentLineTag);

            TextTag breakpointTag = new TextTag("breakpoint");

            breakpointTag.Background = "red";
            this.Buffer.TagTable.Add(breakpointTag);

            TextTag disabledBreakpointTag = new TextTag("disabledBreakpoint");

            disabledBreakpointTag.Background = "gray";
            this.Buffer.TagTable.Add(disabledBreakpointTag);


            UpdateDisplay(new SourceCodeLocation[0]);
        }