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 | |
| parent | 2651aa3780c377ca02bef276d182c653d6ca46ea (diff) | |
document duclares stuff
| -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 |