diff -r 5bac7dee9e1a -r a9218946b0bd Preferences/ConfigurationPages/TerminalPage.ui
--- a/Preferences/ConfigurationPages/TerminalPage.ui Thu Oct 04 19:28:49 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">
