9 Aug
2007
9 Aug
'07
3:37 p.m.
Now I understand this problem. This was caused by a conflict caused
by the merging of meta-descriptions. I changed #title to #heading in
my latest commit.
Thanks for reporting.
Lukas
On 7 Aug 2007, at 01:54, Damien Pollet wrote:
On 07/08/07, Keith Hodges
<keith_hodges(a)yahoo.co.uk> wrote:
--
Lukas Renggli
http://www.lukas-renggli.ch
from what I remember the title in the header
widget is set to the
name
of the PRKernel which you are using.
Yes, the default value for the header title is %k, which gets expanded
to the kernel name. You can have the root or current page title also,
see PRMacroExpander.
So the PRComponent gets %k as a default title and you can change it
from the web with both Edit and Settings commands. The problem is that
the new title is stored in the PRComponent, not the PRHeaderWidget,
and the latter doesn't have access to the new value so it always uses
its default.
--
Damien Pollet
type less, do more [ | ] http://typo.cdlm.fasmz.org
_______________________________________________
SmallWiki, Magritte, Pier and Related Tools ...
https://www.iam.unibe.ch/mailman/listinfo/smallwiki