diff options
| author |  MichalMoskal <unknown> | 2011-01-26 02:42:20 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-01-26 02:42:20 +0000 |
| commit | 12c1192db3954460e79ff71cb3a42c61f9f26784 (patch) | |
| tree | fe22d10c21353672bcf1848ef03fdb60e8b37f7b /Source/ModelViewer/SourceView.cs | |
| parent | d10092583e4f3ee31772300ca097a616ca2713a2 (diff) | |
Display line numbers (useful for finding what the error message refers to)
Diffstat (limited to 'Source/ModelViewer/SourceView.cs')
| -rw-r--r-- | Source/ModelViewer/SourceView.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/ModelViewer/SourceView.cs b/Source/ModelViewer/SourceView.cs index 94694260..07c03cd3 100644 --- a/Source/ModelViewer/SourceView.cs +++ b/Source/ModelViewer/SourceView.cs @@ -20,7 +20,7 @@ namespace Microsoft.Boogie.ModelViewer string prefix =
@"{\rtf1\ansi\ansicpg1252\deff0\deflang1033{\fonttbl{\f0\fnil\fcharset0 Lucida Sans Typewriter;}}\r\n" +
- @"{\colortbl;\red0\green0\blue0;\red255\green0\blue0;\red0\green255\blue0;\red0\green0\blue255;\red255\green255\blue255;}" +
+ @"{\colortbl;\red0\green0\blue0;\red255\green0\blue0;\red0\green255\blue0;\red0\green0\blue255;\red255\green255\blue255;\red100\green100\blue100;}" +
@"\viewkind4\uc1\pard\f0\fs17 ";
internal void SetSourceLocation(SourceLocation r)
|