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]);
}
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]);
}
