diff options
author | 2011-01-26 02:42:20 +0000 | |
---|---|---|
committer | 2011-01-26 02:42:20 +0000 | |
commit | 12c1192db3954460e79ff71cb3a42c61f9f26784 (patch) | |
tree | fe22d10c21353672bcf1848ef03fdb60e8b37f7b /Source/ModelViewer/DataModel.cs | |
parent | d10092583e4f3ee31772300ca097a616ca2713a2 (diff) |
Display line numbers (useful for finding what the error message refers to)
Diffstat (limited to 'Source/ModelViewer/DataModel.cs')
-rw-r--r-- | Source/ModelViewer/DataModel.cs | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/Source/ModelViewer/DataModel.cs b/Source/ModelViewer/DataModel.cs index 807158e2..f8a9abf0 100644 --- a/Source/ModelViewer/DataModel.cs +++ b/Source/ModelViewer/DataModel.cs @@ -47,27 +47,6 @@ namespace Microsoft.Boogie.ModelViewer public string Header;
public string RichTextContent;
public int Location;
-
- public static void RtfAppend(StringBuilder sb, char c, ref int pos)
- {
- pos++;
- switch (c) {
- case '\r': pos--; break;
- case '\\': sb.Append("\\\\"); break;
- case '\n': sb.Append("\\par\n"); break;
- case '{': sb.Append("\\{"); break;
- case '}': sb.Append("\\}"); break;
- default: sb.Append(c); break;
- }
- }
-
- public static void RtfAppendStateIdx(StringBuilder sb, string label, ref int pos)
- {
- label += ".";
- pos += label.Length;
- sb.Append(@"{\sub\cf5\highlight4 ").Append(label).Append("}");
- }
-
}
public interface IState
|