From e43bf891e4348e56314c4666ddba44292caa4cc9 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Fri, 25 Aug 2017 09:55:46 +0530 Subject: [PATCH] Print a warning when the specified font family does not exist --- kitty/fonts/core_text.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/kitty/fonts/core_text.py b/kitty/fonts/core_text.py index 6e7abf989..8ad377ebf 100644 --- a/kitty/fonts/core_text.py +++ b/kitty/fonts/core_text.py @@ -4,9 +4,10 @@ import ctypes import re +import sys from kitty.fast_data_types import CTFace as Face, coretext_all_fonts -from kitty.utils import ceil_int, get_logical_dpi, wcwidth +from kitty.utils import ceil_int, get_logical_dpi, safe_print, wcwidth main_font = {} symbol_map = {} @@ -43,7 +44,9 @@ def find_best_match(font_map, family, bold, italic): # Let CoreText choose the font if the family exists, otherwise # fallback to Menlo - family = family if q in font_map['family_map'] else 'Menlo' + if q not in font_map['family_map']: + safe_print('The font {} was not found, falling back to Menlo', file=sys.stderr) + family = 'Menlo' return { 'monospace': True, 'bold': bold,