Preferences/ConfigurationPages/ShellPage.ui

branch
5_2_x
changeset 2103
b66837cef73b
parent 0
de9c2efb9d02
child 2640
dedcd4f987e0
diff -r b5dbf1a6c9ff -r b66837cef73b Preferences/ConfigurationPages/ShellPage.ui
--- a/Preferences/ConfigurationPages/ShellPage.ui	Wed Oct 03 17:56:16 2012 +0200
+++ b/Preferences/ConfigurationPages/ShellPage.ui	Sat Oct 06 13:03:28 2012 +0200
@@ -67,7 +67,7 @@
        <property name="toolTip">
         <string>Displays the selected width of the linenumbers margin.</string>
        </property>
-       <property name="numDigits">
+       <property name="digitCount">
         <number>1</number>
        </property>
        <property name="segmentStyle">

eric ide

mercurial