Re: [Tiki-devel] dev.tiki.org is partially down
Volker Wysk <post-hhF2Jplw28UoZk/[email protected]>
| Newsgroups | gmane.comp.cms.tiki.devel |
|---|---|
| Message-ID | <[email protected]> |
Am Freitag, den 23.07.2021, 11:06 +0100 schrieb Jonny Bradley via
TikiWiki-devel:
> Hi Volker
>
> Looks like it's some old trackerlist plugin aliases listing all the
> "wishes" about plugins were broken and/or timing out... fixed (by
> disabling them) and added a link to the search wishes page...
>
>
> http://dev.tiki.org/tiki-pagehistory.php?page=Plugin&newver=19&oldver=17
>
> Still a fairly pointless page now imho, maybe it should be an alias
> of http://dev.tiki.org/Code-Howto%3A-Create-a-Wiki-Plugin ?
It should be relatively trivial to hack the PluginFont to allow all the
font size specifications which are possible for the font size in
HTML/CSS:
https://www.w3.org/TR/CSS2/fonts.html#font-size-props
Maybe the only thing to do is changing the "filter" property of the
size parameter. I've tried to comment out the "filter" property of the
"size" argument, so you can specify a relative size ("150%"). But then,
the {FONT(...)} doesn't have any effect at all...
Right now, only an absolute font size in pixels can be specified.
Cheers,
Volker