From aebc0a13d37902941d5c36405cf696ae474fe291 Mon Sep 17 00:00:00 2001 From: Joey Hess 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.26.2