From e6dc5822c339d5aea776c15d4574d32e57d3111f Mon Sep 17 00:00:00 2001 From: Axel Kohlmeyer Date: Wed, 26 Jul 2023 02:33:06 -0400 Subject: [PATCH] more flexible font search --- tools/lammps-gui/lammpsgui.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/lammps-gui/lammpsgui.cpp b/tools/lammps-gui/lammpsgui.cpp index 6dfe7f71be..f42f7de776 100644 --- a/tools/lammps-gui/lammpsgui.cpp +++ b/tools/lammps-gui/lammpsgui.cpp @@ -36,7 +36,7 @@ LammpsGui::LammpsGui(QWidget *parent, const char *filename) : capturer = new StdCapture; QFont text_font; - text_font.setFamily("Consolas"); + text_font.setFamilies(QStringList({"Consolas", "Monospace", "Sans", "Courier"})); text_font.setFixedPitch(true); text_font.setStyleHint(QFont::TypeWriter); ui->textEdit->document()->setDefaultFont(text_font); @@ -203,7 +203,7 @@ void LammpsGui::run_buffer() box->setReadOnly(true); QFont text_font; - text_font.setFamily("Consolas"); + text_font.setFamilies(QStringList({"Consolas", "Monospace", "Sans", "Courier"})); text_font.setFixedPitch(true); text_font.setStyleHint(QFont::TypeWriter); box->document()->setDefaultFont(text_font);