Opened 5 years ago

Closed 5 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 5 years ago by weis

Resolution: fixed
Status: newclosed

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

Note: See TracTickets for help on using tickets.