On Jan 21, 2011, at 1:30 PM, Rene wrote:

> You could define every thing in the head   and do
> 
>  <body
>  <th1>
>   if { "fdiff" eq $current_page || "otherdiffed page" eq $current_page 
> } {
>        html " 
> onload='DiffHighlighter.highlightElementsWithTagName(\'pre\')'"
>   }
> </th1>
>> 
> 
> This would have the benefit of running highlighter only on diff pages 
> and after the page has loaded

Awesome. The only downside is that onload will wait for images to load
(http://www.javascriptkit.com/dhtmltutors/domready.shtml)
but it doesn't matter that much.

Does anyone has the list of all pages that have diffs?

--
Dmitry Chestnykh

_______________________________________________
fossil-users mailing list
fossil-users@lists.fossil-scm.org
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users

Reply via email to