From 7f6464b52371bb6f5a5bfd98c7e192b6c10a6817 Mon Sep 17 00:00:00 2001
From: Robier Al Kaadi <robal695@student.liu.se>
Date: Thu, 18 Jul 2024 08:56:54 +0000
Subject: [PATCH] Update _preferences.py
---
b_asic/scheduler_gui/_preferences.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/b_asic/scheduler_gui/_preferences.py b/b_asic/scheduler_gui/_preferences.py
index f2da14ab..15daaf99 100644
--- a/b_asic/scheduler_gui/_preferences.py
+++ b/b_asic/scheduler_gui/_preferences.py
@@ -18,7 +18,7 @@ OPERATION_HEIGHT = 0.75
OPERATION_GAP = 1 - OPERATION_HEIGHT # TODO: For now, should really fix the bug
SCHEDULE_INDENT = 0.2
-DEFAULT_FONT = QFont("Times", 12.0)
+DEFAULT_FONT = QFont("Times", 12)
DEFAULT_FONT_COLOR = QColor(*SIGNAL_COLOR)
--
GitLab