Preferences/ConfigurationPages/TerminalPage.ui

branch
5_2_x
changeset 2103
b66837cef73b
parent 0
de9c2efb9d02
equal deleted inserted replaced
2098:b5dbf1a6c9ff 2103:b66837cef73b
65 <item> 65 <item>
66 <widget class="QLCDNumber" name="linenowidthLCD"> 66 <widget class="QLCDNumber" name="linenowidthLCD">
67 <property name="toolTip"> 67 <property name="toolTip">
68 <string>Displays the selected width of the linenumbers margin.</string> 68 <string>Displays the selected width of the linenumbers margin.</string>
69 </property> 69 </property>
70 <property name="numDigits"> 70 <property name="digitCount">
71 <number>1</number> 71 <number>1</number>
72 </property> 72 </property>
73 <property name="segmentStyle"> 73 <property name="segmentStyle">
74 <enum>QLCDNumber::Flat</enum> 74 <enum>QLCDNumber::Flat</enum>
75 </property> 75 </property>

eric ide

mercurial