--- a/Preferences/ConfigurationPages/TerminalPage.ui	Wed Oct 03 17:56:16 2012 +0200
+++ b/Preferences/ConfigurationPages/TerminalPage.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">