Opened 13 years ago

Closed 13 years ago

#2 closed defect (fixed)

Do not always call prettyPrint in body onload

Reported by: weis Owned by:
Priority: major Keywords:
Cc:

Description

When there is no embedded code, prettify.hs is missing.
Hence, prettyPrint() should not be called.
Currently this is hard coded.

Change History (1)

comment:1 Changed 13 years ago by weis

Resolution: → fixed
Status: new → closed

(In [54]) Use jquery,ready() to launch prettyPrint. closes #2

Note: See TracTickets for help on using tickets.