@andy5995 commented on this pull request.
@@ -3731,6 +3731,22 @@
<property name="position">4</property> </packing> </child> + <child> + <object class="GtkCheckButton" id="check_autoclose_btick"> + <property name="label" translatable="yes">Backticks ` `</property> + <property name="visible">True</property> + <property name="can_focus">True</property> + <property name="receives_default">False</property> + <property name="tooltip_text" translatable="yes">Auto-close backtick when typing an opening one</property> + <property name="use_underline">True</property> + <property name="draw_indicator">True</property> + </object> + <packing> + <property name="expand">True</property> + <property name="fill">True</property> + <property name="position">3</property>
@elextr , by hand. I see the position is duplicated. Which pos would you like?