Skip to content
Snippets Groups Projects

104 preference dialogue gui

Closed 104 preference dialogue gui
104_Preference_dialogue_GUI into master
1 unresolved thread
Closed Robier Al Kaadi requested to merge 104_Preference_dialogue_GUI into master
1 unresolved thread
Compare
and
Show latest version
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
b_asic/scheduler_gui/_preferences.py
+ 1
− 1
@@ -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)