added workaround for brush not found error

This commit is contained in:
Sebastian Sdorra
2011-06-14 22:11:36 +02:00
parent 3f89ee98fd
commit b7cfe3a14b

View File

@@ -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;
}
}