From fa53a41c30fa2fdd77f9d073453cf7b4b3b00421 Mon Sep 17 00:00:00 2001
From: mattias <nc-gaertnma@netcologne.de>
Date: Sun, 27 Jul 2008 07:36:36 +0000
Subject: [PATCH] IDE: editor options: update previews on change of color
 scheme

git-svn-id: trunk@15882 -
---
 ide/editoroptions.pp     | 1 +
 ide/editoroptions_new.pp | 1 +
 2 files changed, 2 insertions(+)

diff --git a/ide/editoroptions.pp b/ide/editoroptions.pp
index ed2ca25e01..d823909521 100644
--- a/ide/editoroptions.pp
+++ b/ide/editoroptions.pp
@@ -2947,6 +2947,7 @@ begin
         SetPreviewSynInAllPreviews;
         FillColorElementListBox;
         FindCurHighlightElement;
+        InvalidatePreviews;
       end// change the colorscheme
       ;
     end
diff --git a/ide/editoroptions_new.pp b/ide/editoroptions_new.pp
index 0e7e49b4bc..d7f48a525f 100644
--- a/ide/editoroptions_new.pp
+++ b/ide/editoroptions_new.pp
@@ -814,6 +814,7 @@ begin
         SetPreviewSynInAllPreviews;
         FillColorElementListBox;
         FindCurHighlightElement;
+        InvalidatePreviews;
       end// change the colorscheme
       ;
     end