From b7cfe3a14b30ceaafb8e388fa92a50ab585f7089 Mon Sep 17 00:00:00 2001
From: Sebastian Sdorra <sebastian.sdorra@cloudogu.com>
Date: Tue, 14 Jun 2011 22:11:36 +0200
Subject: [PATCH] added workaround for brush not found error

---
 .../resources/js/panel/sonia.panel.syntaxhighlighterpanel.js    | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scm-webapp/src/main/webapp/resources/js/panel/sonia.panel.syntaxhighlighterpanel.js b/scm-webapp/src/main/webapp/resources/js/panel/sonia.panel.syntaxhighlighterpanel.js
index e25152b1fd..62af6545a7 100644
--- a/scm-webapp/src/main/webapp/resources/js/panel/sonia.panel.syntaxhighlighterpanel.js
+++ b/scm-webapp/src/main/webapp/resources/js/panel/sonia.panel.syntaxhighlighterpanel.js
@@ -233,6 +233,8 @@ Sonia.panel.SyntaxHighlighterPanel = Ext.extend(Ext.Panel, {
         console.debug('call SyntaxHighlighter.highlight()');
       }
       SyntaxHighlighter.highlight({}, this.body.el);
+      // ugly workaround
+      SyntaxHighlighter.vars.discoveredBrushes = null;
     }
   }