@eht16 commented on this pull request.
<property name="visible">True</property>
+ <property name="can-focus">False</property> + <property name="left-padding">12</property> + <child> + <object class="GtkVBox" id="vbox48"> + <property name="visible">True</property> + <property name="can-focus">False</property> + <child> + <object class="GtkRadioButton" id="radio_virtualspace_disabled"> + <property name="label" translatable="yes">Disabled</property> + <property name="visible">True</property> + <property name="can-focus">True</property> + <property name="receives-default">False</property> + <property name="tooltip-text" translatable="yes">Do not show virtual spaces</property> + <property name="use-underline">True</property> + <property name="active">True</property>
This seems new but probably added by Glade automatically and we set an explicit default value in the code anyway, so it's fine.