diff options
author | Dieter Plaetinck <dieter@plaetinck.be> | 2009-05-22 21:41:43 +0200 |
---|---|---|
committer | Dieter Plaetinck <dieter@plaetinck.be> | 2009-05-22 21:41:43 +0200 |
commit | 9b5aee5b6cdf7487f82e3ec15c50d73c12b2a717 (patch) | |
tree | 94944b21f991406471f82ebbb4ebc2d1d72be0c4 /examples/configs | |
parent | 2651aa3780c377ca02bef276d182c653d6ca46ea (diff) |
document duclares stuff
Diffstat (limited to 'examples/configs')
-rw-r--r-- | examples/configs/sampleconfig-dev | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/examples/configs/sampleconfig-dev b/examples/configs/sampleconfig-dev index e0ae84c..b53ac48 100644 --- a/examples/configs/sampleconfig-dev +++ b/examples/configs/sampleconfig-dev @@ -16,6 +16,7 @@ set download_handler = spawn ./examples/scripts/download.sh set cookie_handler = ./examples/scripts/cookies.sh set minimum_font_size = 6 set default_font_size = 11 +set default_monospace_size = 11 # use with bind ... = sh <shell-oneliner> set shell_cmd = sh -c @@ -125,5 +126,8 @@ bind fl* = script ./examples/scripts/follow_Numbers.js %s # using strings, not polished yet: bind fL* = script ./examples/scripts/follow_Numbers_Strings.js %s +# you can use this to disable all plugins +set disable_plugins = 0 + # "home" page if you will set uri = uzbl.org |