diff options
author | Marcus Tillmanns <[email protected]> | 2024-10-14 11:10:31 +0200 |
---|---|---|
committer | Marcus Tillmanns <[email protected]> | 2024-10-14 10:56:50 +0000 |
commit | cb8f75a03a1bedd1c26d10e1553e85f49bbadf79 (patch) | |
tree | 6e77318034c35254f19fcbc8b06bb9a528c0257f /src/plugins/extensionmanager/extensionmanagerwidget.cpp | |
parent | a2e73654bf4c64bda48975f309e8da2f01034cfe (diff) |
ExtensionManager: Use default font for code blocks
Change-Id: I288f13031cd5c35a7e8bc7530c50ccddf5fa1d1f
Reviewed-by: Alessandro Portale <[email protected]>
Diffstat (limited to 'src/plugins/extensionmanager/extensionmanagerwidget.cpp')
-rw-r--r-- | src/plugins/extensionmanager/extensionmanagerwidget.cpp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/plugins/extensionmanager/extensionmanagerwidget.cpp b/src/plugins/extensionmanager/extensionmanagerwidget.cpp index a5891167bfe..4550778270d 100644 --- a/src/plugins/extensionmanager/extensionmanagerwidget.cpp +++ b/src/plugins/extensionmanager/extensionmanagerwidget.cpp @@ -767,6 +767,11 @@ static QTextDocument *highlightText(const QString &code, const QString &language return doc; } +static QStringList defaultCodeFontFamilies() +{ + return {"Menlo", "Source Code Pro", "Monospace", "Courier"}; +} + static void highlightCodeBlock(QTextDocument *document, QTextBlock &block, const QString &language) { int startBlockNumner = block.blockNumber(); @@ -813,6 +818,11 @@ static void highlightCodeBlock(QTextDocument *document, QTextBlock &block, const for (auto block = codeDocument->begin(); block != codeDocument->end(); block = block.next()) { if (!first) frameCursor.insertBlock(); + + QTextCharFormat charFormat = block.charFormat(); + charFormat.setFontFamilies(defaultCodeFontFamilies()); + frameCursor.setCharFormat(charFormat); + first = false; auto formats = block.layout()->formats(); frameCursor.insertText(block.text()); |