- not built -

add preff for tab-tab timeout
2024-10-25 11:15:34 +00:00 · 2001-04-24 00:49:17 +00:00 · 2001-04-24 00:49:17 +00:00 · 182dd02715
commit 182dd02715
parent d37a48fd41
1 changed files with 1 additions and 0 deletions
--- a/extensions/venkman/resources/content/venkman-prefs.js
+++ b/extensions/venkman/resources/content/venkman-prefs.js
@ -41,6 +41,7 @@ function initPrefs()

    console.addPref ("input.commandchar", "/");    
    console.addPref ("input.history.max", 20);
+    console.addPref ("input.dtab.time", 500);
    console.addPref ("output.wordbreak.length", 40);

 }