--- a/Preferences/__init__.py	Sun Apr 28 15:38:35 2013 +0200
+++ b/Preferences/__init__.py	Wed May 01 14:47:38 2013 +0200
@@ -272,7 +272,6 @@
         "AutosaveInterval": 0,
         "TabWidth": 4,
         "IndentWidth": 4,
-        "LinenoWidth": 4,
         "IndentationGuides": True,
         "UnifiedMargins": False,
         "LinenoMargin": True,
@@ -836,7 +835,6 @@
     
     # defaults for the shell settings
     shellDefaults = {
-        "LinenoWidth": 4,
         "LinenoMargin": True,
         "AutoCompletionEnabled": True,
         "CallTipsEnabled": True,
@@ -1614,7 +1612,7 @@
                "SpellCheckingDefaultLanguage", "SpellCheckingPersonalWordList",
                "SpellCheckingPersonalExcludeList"]:
         return prefClass.settings.value("Editor/" + key, prefClass.editorDefaults[key])
-    elif key in ["AutosaveInterval", "TabWidth", "IndentWidth", "LinenoWidth",
+    elif key in ["AutosaveInterval", "TabWidth", "IndentWidth",
                  "FoldingStyle", "WarnFilesize", "EdgeMode", "EdgeColumn",
                  "CaretWidth", "AutoCompletionSource", "AutoCompletionThreshold",
                  "CallTipsVisible", "CallTipsStyle", "MarkOccurrencesTimeout",
@@ -1953,7 +1951,7 @@
         f.fromString(prefClass.settings.value("Shell/" + key,
             prefClass.shellDefaults[key]))
         return f
-    elif key in ["LinenoWidth", "MaxHistoryEntries"]:
+    elif key in ["MaxHistoryEntries"]:
         return int(prefClass.settings.value("Shell/" + key,
             prefClass.shellDefaults[key]))
     else: