2 <class>InDocumentContextLines</class>
3 <widget class="QWidget" name="InDocumentContextLines" >
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="QGroupBox" name="groupBox" >
21 <property name="font" >
23 <family>Sans Serif</family>
24 <pointsize>9</pointsize>
26 <italic>false</italic>
28 <underline>false</underline>
29 <strikeout>false</strikeout>
32 <property name="title" >
33 <string>Context-Lines:</string>
35 <layout class="QGridLayout" >
36 <property name="margin" >
39 <property name="spacing" >
42 <item row="0" column="0" >
43 <widget class="QTextEdit" name="contextLines" />