<property name="name">edit_goto-case</property>
<property name="tooltip" translatable="yes">Jump to a case in the data sheet</property>
<property name="stock-id">gtk-jump-to</property>
<property name="name">edit_goto-case</property>
<property name="tooltip" translatable="yes">Jump to a case in the data sheet</property>
<property name="stock-id">gtk-jump-to</property>