")
+ .append("
0) {
+ appendFontSizeRule(myResultBuffer, fontSize);
+ myIgnoreFontSize = true;
+ }
+ myResultBuffer.append("\" bgcolor=\"");
+ appendColor(myResultBuffer, syntaxInfo.getDefaultBackground());
+ myResultBuffer.append("\">");
+
+ for (OutputInfo info : syntaxInfo.getOutputInfos()) {
+ info.invite(this);
+ if (myResultBuffer.length() > maxLength) {
+ myResultBuffer.append("... truncated ...");
+ break;
+ }
+ }
+ myResultBuffer.append(" ");
+ }
+ finally {
+ myResultBuffer = null;
+ myRawText = null;
+ myColorRegistry = null;
+ myFontNameRegistry = null;
+ myColors.clear();
+ myForeground = 0;
+ myBackground = 0;
+ myFontFamily = 0;
+ myFontSize = 0;
+ myBold = false;
+ myItalic = false;
+ myIgnoreFontSize = false;
+ }
+ }
+
+ private void defineForeground(int id, @NotNull StringBuilder styleBuffer, @NotNull StringBuilder closeTagBuffer) {
+ myResultBuffer.append("