diff options
| author | http://yag.myopenid.com/ <http://yag.myopenid.com/@web> | 2008-10-09 19:33:25 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2008-10-09 19:33:25 -0400 |
| commit | 2ff36e631e8d19c511e8fcf0c77187b372dc6d04 (patch) | |
| tree | 8060840177136100968a51f927a169cba50b8972 /doc/plugins/contrib | |
| parent | debd8636a0dc8908126c2a3b8c6e6cd3072996fb (diff) | |
Diffstat (limited to 'doc/plugins/contrib')
| -rw-r--r-- | doc/plugins/contrib/sourcehighlight.mdwn | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/plugins/contrib/sourcehighlight.mdwn b/doc/plugins/contrib/sourcehighlight.mdwn index 0f1ab1b21..b9e618c16 100644 --- a/doc/plugins/contrib/sourcehighlight.mdwn +++ b/doc/plugins/contrib/sourcehighlight.mdwn @@ -17,4 +17,6 @@ because they both generate page working/dir/foo. It looks to me like ikiwiki is hardcoded to strip the extension in `pagename()` (IkiWiki.pm). This problem with sourcehighlight needs to be fixed before it is very useful. +- Is there a way to configure the colors used by source-highlight (other than editing the globally installed "default.style" file)? It would help if I could pass the command arbitrary command-line arguments; then I could configure which config file it's supposed to use. For instance, I'm not a fan of hard-coding the colors into the HTML output. IMHO, css-style formatting should be preferred. All that can be set via the command line ... --Peter + [[DavidBremner]] |