diff --git a/b_asic/scheduler_gui/_preferences.py b/b_asic/scheduler_gui/_preferences.py index f2da14ab02c8b96d7d11737a18d84669a27f485c..15daaf995454659ac72f288b0350ad4a1daa5585 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)