- not built -

add tab with pref default value

extensions/venkman/resources/content/venkman-prefs.js

@@ -40,6 +40,7 @@ function initPrefs()
     console.prefs = new Object();
 
     //    console.addPref ("input.commandchar", "/");    
+    console.addPref ("sourcetext.tab.string", "    ");
     console.addPref ("input.history.max", 20);
     console.addPref ("input.dtab.time", 500);
     console.addPref ("output.wordbreak.length", 40);