From 1e3d3df9b8bb72a6adbc87ee34f133ad6d5b8244 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Sun, 4 Mar 2018 10:59:12 +0530 Subject: [PATCH] Remove unused code --- kitty/utils.py | 9 --------- 1 file changed, 9 deletions(-) diff --git a/kitty/utils.py b/kitty/utils.py index a7c2d2dcb..84eab2f9e 100644 --- a/kitty/utils.py +++ b/kitty/utils.py @@ -53,15 +53,6 @@ def ceil_int(x): return int(math.ceil(x)) -@contextmanager -def timeit(name, do_timing=False): - if do_timing: - st = monotonic() - yield - if do_timing: - safe_print('Time for {}: {}'.format(name, monotonic() - st)) - - def sanitize_title(x): return re.sub(r'\s+', ' ', re.sub(r'[\0-\x19\x80-\x9f]', '', x))