> + </child> > + <child> > + <object class="GtkCheckButton" > id="check_auto_sort_tabs_pathname"> > + <property name="label" > translatable="yes">Automatically sort tabs based on pathname</property> > + <property name="visible">True</property> > + <property > name="can_focus">True</property> > + <property > name="receives_default">False</property> > + <property > name="use_underline">True</property> > + <property > name="draw_indicator">True</property> > + </object> > + <packing> > + <property name="expand">False</property> > + <property name="fill">False</property> > + <property name="position">6</property> > + </packing> > + </child>
what do you refer to with "this"? IMO the current UI is bad, not only because there is no visual link between the two options, but also because AFAIK it's the first use of this UI in all of Geany. --- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany/pull/1144/files/c064984ff29744294b7c25d2987c5b51f3c24405#r72894087
