From 357a415386a5fd1fc354f59fee95f7c7b8bbfefb Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sat, 20 May 2017 00:23:43 +0530 Subject: [PATCH] ... --- kitty/utils.py | 1 + 1 file changed, 1 insertion(+) diff --git a/kitty/utils.py b/kitty/utils.py index 2d0b7a8cf..68fb8a411 100644 --- a/kitty/utils.py +++ b/kitty/utils.py @@ -83,6 +83,7 @@ def x11_dpi_native(): return float(line.split()[1]) finally: XCloseDisplay(display) + raise RuntimeError('Failed to get dpi resource') def x11_dpi():