Add a little size to the monospace font.

fixstarcoderjson
Adam Treat 12 months ago
parent 0e866a0e8f
commit 397f3ba2d7

@ -1015,6 +1015,7 @@ void ResponseText::handleCodeBlocks()
QTextCharFormat codeBlockCharFormat;
QFont monospaceFont("Courier");
monospaceFont.setPointSize(QGuiApplication::font().pointSize() + 2);
if (monospaceFont.family() != "Courier") {
monospaceFont.setFamily("Monospace"); // Fallback if Courier isn't available
}

Loading…
Cancel
Save