From 3369bbee1c969ac6ac17edaf10da06c5660358d0 Mon Sep 17 00:00:00 2001
From: bremner <bremner@web>
Date: Fri, 10 Oct 2008 01:45:45 -0400
Subject: [PATCH]

---
 doc/plugins/contrib/sourcehighlight.mdwn | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/plugins/contrib/sourcehighlight.mdwn b/doc/plugins/contrib/sourcehighlight.mdwn
index b9e618c16..2eb22e6ed 100644
--- a/doc/plugins/contrib/sourcehighlight.mdwn
+++ b/doc/plugins/contrib/sourcehighlight.mdwn
@@ -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]]
-- 
2.39.5