> + </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>
It would probably be better UI to have a checkbox to enable sorting, and radio items or a dropdown do choose the sort method. --- 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#r72889446
