From 259b150f9189e4877b47f9a59bb3c14b253625ab Mon Sep 17 00:00:00 2001 From: David Aguilar Date: Thu, 5 Nov 2009 09:14:05 -0800 Subject: [PATCH] models.main: Guard against non-int font sizes The cola.fontdiff setting can contain non-integer font sizes, so guard against it by casting to a float before casting to int. Closes #32 Signed-off-by: David Aguilar --- cola/models/main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cola/models/main.py b/cola/models/main.py index 5ac991c2..d8dad66b 100644 --- a/cola/models/main.py +++ b/cola/models/main.py @@ -475,7 +475,7 @@ class MainModel(ObservableModel): items = value.split(',') if len(items) < 2: return - self.global_cola_fontdiff_size = int(items[1]) + self.global_cola_fontdiff_size = int(float(items[1])) def set_diff_font(self, fontstr): """Set the diff font string.""" -- 2.11.4.GIT