diff options
| author | intrigeri <intrigeri@boum.org> | 2008-11-02 20:15:21 +0100 |
|---|---|---|
| committer | intrigeri <intrigeri@boum.org> | 2008-11-02 20:15:21 +0100 |
| commit | 7b28deb171455a207e536b8abebbca67242a4588 (patch) | |
| tree | 09d6933412129bbf110abd253d056bf374f400bd /doc/plugins/contrib/sourcehighlight.mdwn | |
| parent | b6a4da775945856b07fdc8f1330a86f67e329ac9 (diff) | |
| parent | 2ebc0bb82dd907b6c0eaa39441378cb3bd8152d5 (diff) | |
Merge branch 'prv/po' into pub/po
Diffstat (limited to 'doc/plugins/contrib/sourcehighlight.mdwn')
| -rw-r--r-- | doc/plugins/contrib/sourcehighlight.mdwn | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/plugins/contrib/sourcehighlight.mdwn b/doc/plugins/contrib/sourcehighlight.mdwn index 2eb22e6ed..fb368945b 100644 --- a/doc/plugins/contrib/sourcehighlight.mdwn +++ b/doc/plugins/contrib/sourcehighlight.mdwn @@ -20,3 +20,8 @@ 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 > I don't really have time right now, but it should be easy to add, if you look at how src-lang is handled. Patches are welcome :-) --[[DavidBremner]] + +Note that [[Will]] wrote a plugin that uses source-highlight also. It's +available +[here|todo/automatic_use_of_syntax_plugin_on_source_code_files/discussion]]. +--[[Joey]] |