From 18ebe9c4521c6402fd9a11801e61335ccb1baa08 Mon Sep 17 00:00:00 2001 From: Simon Brugman Date: Mon, 27 Sep 2021 18:53:53 +0200 Subject: [PATCH] fix: specific mono fallback font --- tsensor/analysis.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tsensor/analysis.py b/tsensor/analysis.py index 9747105..caab114 100644 --- a/tsensor/analysis.py +++ b/tsensor/analysis.py @@ -43,7 +43,7 @@ class clarify: nesting = 0 def __init__(self, - fontname='Consolas', fontsize=13, + fontname=('Consolas', 'DejaVu Sans Mono'), fontsize=13, dimfontname='Arial', dimfontsize=9, matrixcolor="#cfe2d4", vectorcolor="#fefecd", char_sep_scale=1.8, fontcolor='#444443', underline_color='#C2C2C2', ignored_color='#B4B4B4', error_op_color='#A40227', @@ -155,7 +155,7 @@ def __exit__(self, exc_type, exc_value, exc_traceback): class explain: def __init__(self, - fontname='Consolas', fontsize=13, + fontname=('Consolas', 'DejaVu Sans Mono'), fontsize=13, dimfontname='Arial', dimfontsize=9, matrixcolor="#cfe2d4", vectorcolor="#fefecd", char_sep_scale=1.8, fontcolor='#444443', underline_color='#C2C2C2', ignored_color='#B4B4B4', error_op_color='#A40227',