From aebc0a13d37902941d5c36405cf696ae474fe291 Mon Sep 17 00:00:00 2001
From: Joey Hess <joey@kitenet.net>
Date: Thu, 6 Mar 2008 16:54:23 -0500
Subject: [PATCH] web commit by bremner

---
 doc/todo/plugin.mdwn | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/todo/plugin.mdwn b/doc/todo/plugin.mdwn
index 03fc096e5..3a1d401ea 100644
--- a/doc/todo/plugin.mdwn
+++ b/doc/todo/plugin.mdwn
@@ -53,3 +53,6 @@ There is work in progress at
 [[plugins/contrib/default_content_for___42__copyright__42___and___42__license__42__]]
 -- [[DavidBremner]]
 
+* Would it make sense to have a hook to set the page name?  This would solve a problem I see with 
+[[source code highlighting|plugins/contrib/sourcehighlight]]
+-- [[DavidBremner]]
-- 
2.39.5