web commit by bremner

diff --git a/doc/todo/plugin.mdwn b/doc/todo/plugin.mdwn
index 03fc096e556a5096367702cd18ee7fffa7519710..3a1d401ea562f758978e4efea9cdb59df3a28cc5 100644 (file)
--- 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]]