2 <class>InDocumentButtons</class>
3 <widget class="QWidget" name="InDocumentButtons" >
4 <property name="geometry" >
12 <layout class="QGridLayout" >
13 <property name="margin" >
16 <property name="spacing" >
19 <item row="0" column="0" >
20 <widget class="QPushButton" name="jumpToPosition" >
21 <property name="text" >
22 <string>Jump to Position</string>