Improve colors in source view

1 files changed, 3 insertions, 2 deletions

diff --git a/Source/ModelViewer/SourceView.cs b/Source/ModelViewer/SourceView.cs
index 32f03b3d..c8a8b653 100644
--- a/Source/ModelViewer/SourceView.cs
+++ b/Source/ModelViewer/SourceView.cs
@@ -14,13 +14,14 @@ namespace Microsoft.Boogie.ModelViewer
     public SourceView()

     {

       InitializeComponent();

+      richTextBox1.BackColor = Color.White;

     }

 

     string prevRtf;

 

     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;\red100\green100\blue100;}" +

+        @"{\colortbl;\red0\green0\blue0;\red255\green0\blue0;\red0\green255\blue0;\red255\green255\blue0;\red0\green0\blue0;\red160\green160\blue160;}" +

         @"\viewkind4\uc1\pard\f0\fs17 ";

 

     internal void SetSourceLocation(SourceViewState r)

@@ -30,7 +31,7 @@ namespace Microsoft.Boogie.ModelViewer
         prevRtf = r.RichTextContent;

       }

 

-      richTextBox1.Select(r.Location, 6);

+      richTextBox1.Select(r.Location, 9);

 

       this.Text = r.Header;      

       this.Show();