// 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());