Function fontFromString

MiniZincIDE/ideutils.cpp:79–97

}

QFont fontFromString(const QString& s)
{
    QFont font;
    if (!s.isEmpty() && font.fromString(s)) {
        return font;
    }

    QStringList families({"Menlo", "Consolas", "Courier New"});

    font.setPointSize(13);
    font.setStyleHint(QFont::TypeWriter);
    for (auto& family : families) {
        font.setFamily(family);
        if (font.exactMatch()) {
            break;
        }
    }
    return font;
}

}