// Default format
QTextCharFormat def;
def.setForeground(QBrush("#000000"));
- def.setFont(QFont("Courier", 10));
+ //def.setFont(QFont("Courier", 10));
+ def.font().setStyleHint(QFont::TypeWriter);
_defaultFormats = QVector<QTextCharFormat>(NumFormatTypes, def);
_customFormats = QVector<QTextCharFormat>(NumFormatTypes, QTextFormat().toCharFormat());
QTextCharFormat fgf, bgf;
fgf.setForeground(QBrush(QColor(colors[i]))); setFormat((FormatType)(FgCol00 + i), fgf, Settings::Default);
bgf.setBackground(QBrush(QColor(colors[i]))); setFormat((FormatType)(BgCol00 + i), bgf, Settings::Default);
+ //FIXME fix the havoc caused by ColorSettingsPage
+ setFormat((FormatType)(FgCol00 + i), fgf, Settings::Custom);
+ setFormat((FormatType)(BgCol00 + i), bgf, Settings::Custom);
}
// Set a few more standard formats