master
parent
2ff36e631e
commit
3369bbee1c
|
@ -19,4 +19,4 @@ 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]]
|
||||
> 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]]
|
||||
|
|
Loading…
Reference in New Issue