Skip to content
Snippets Groups Projects
Commit 7f6464b5 authored by Robier Al Kaadi's avatar Robier Al Kaadi :penguin:
Browse files

Update _preferences.py

parent c650d6f6
No related branches found
No related tags found
1 merge request!455104 preference dialogue gui
Pipeline #133922 failed
Stage: test
Hide whitespace changes
Inline Side-by-side
b_asic/scheduler_gui/_preferences.py
+ 1
− 1
View file @ 7f6464b5
......@@ -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)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment