more flexible font search

This commit is contained in:
Axel Kohlmeyer
2023-07-26 02:33:06 -04:00
parent 984a311dce
commit e6dc5822c3

View File

@ -36,7 +36,7 @@ LammpsGui::LammpsGui(QWidget *parent, const char *filename) :
capturer = new StdCapture; capturer = new StdCapture;
QFont text_font; QFont text_font;
text_font.setFamily("Consolas"); text_font.setFamilies(QStringList({"Consolas", "Monospace", "Sans", "Courier"}));
text_font.setFixedPitch(true); text_font.setFixedPitch(true);
text_font.setStyleHint(QFont::TypeWriter); text_font.setStyleHint(QFont::TypeWriter);
ui->textEdit->document()->setDefaultFont(text_font); ui->textEdit->document()->setDefaultFont(text_font);
@ -203,7 +203,7 @@ void LammpsGui::run_buffer()
box->setReadOnly(true); box->setReadOnly(true);
QFont text_font; QFont text_font;
text_font.setFamily("Consolas"); text_font.setFamilies(QStringList({"Consolas", "Monospace", "Sans", "Courier"}));
text_font.setFixedPitch(true); text_font.setFixedPitch(true);
text_font.setStyleHint(QFont::TypeWriter); text_font.setStyleHint(QFont::TypeWriter);
box->document()->setDefaultFont(text_font); box->document()->setDefaultFont(text_font);