@@ -66,6 +66,28 @@ def __init__(self, studio_flag):
6666
6767 # self.tab = QWidget()
6868 # self.tabs.resize(200,5)
69+
70+ radiobutton_style = """
71+ QRadioButton {
72+ spacing: 10px; /* Space between indicator and text */
73+ color: black; /* Text color */
74+ }
75+
76+ QRadioButton::indicator {
77+ width: 12px; /* Indicator size */
78+ height: 12px;
79+ border-radius: 6px; /* Rounded indicator */
80+ }
81+
82+ QRadioButton::indicator:unchecked {
83+ border: 1px solid gray; /* Border when unchecked */
84+ }
85+
86+ QRadioButton::indicator:checked {
87+ background-color: rgb(21,96,209); /* Filled color when checked */
88+ border: 1px solid black;
89+ }
90+ """
6991
7092 #-------------------------------------------
7193 label_width = 110
@@ -329,13 +351,12 @@ def __init__(self, studio_flag):
329351 self .random_seed_gp .idToggled .connect (self .random_seed_gp_cb )
330352 random_seed_gp_next_id = 0
331353
332- self .random_seed_random_button = QRadioButton ("system clock" )
333- self .random_seed_random_button .setChecked (True )
354+ self .random_seed_random_button = QRadioButton ("system clock" ,styleSheet = radiobutton_style )
334355 self .random_seed_gp .addButton (self .random_seed_random_button , random_seed_gp_next_id )
335356 hbox .addWidget (self .random_seed_random_button )
336357 random_seed_gp_next_id += 1
337358
338- self .random_seed_integer_button = QRadioButton ("integer \u2192 " )
359+ self .random_seed_integer_button = QRadioButton ("integer \u2192 " , styleSheet = radiobutton_style )
339360 self .random_seed_gp .addButton (self .random_seed_integer_button , random_seed_gp_next_id )
340361 hbox .addWidget (self .random_seed_integer_button )
341362 random_seed_gp_next_id += 1
@@ -708,7 +729,8 @@ def fill_gui(self):
708729 if self .xml_root .find (".//random_seed" ) is not None :
709730 # this intentionally will read in the user_parameter random_seed if it exists. this will facilitate the user using this new placement (importantly, the default custom.cpp will still use the user_parameter to override the value placed here)
710731 text = self .xml_root .find (".//random_seed" ).text
711- if text in ["system_clock" ,"random" ,"" ]:
732+ print ("\n ------------------ config_tab: random_seed = " ,text )
733+ if text in ["system_clock" ,"random" ,"" ,None ]:
712734 self .random_seed_random_button .setChecked (True )
713735 else :
714736 self .random_seed_integer_button .setChecked (True )
0 commit comments