Merge pull request #36 from sbrugman/patch-3

fix: specific mono fallback font
parrt · Sep 27, 2021 · 5344c41 · 5344c41
2 parents f534163 + 18ebe9c
commit 5344c41
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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',