Thomas Keller
6c5406dd99
Fix a problem in jquery.hotkeys that triggered global hotkeys when one was
...
in a password text field. Upstream should know of this problem for a long
time already, but hasn't released a fixed version yet, so we're applying
our own patch here (fixes issue 821).
2012-11-18 00:58:27 +01:00
Thomas Keller
8db3c45763
Revamp this a little and make it jQuery 1.7 compatible (fixes issue 803)
2012-04-29 00:24:09 +02:00
Simon Holywell
c158131f88
Upgrade to jquery 1.7.2
2012-03-22 11:54:59 +00:00
Simon Holywell
9137cab212
Remove the older version of jquery
2012-03-06 23:04:24 +00:00
Simon Holywell
f4a6cd1cdb
Upgrade jQuery 1.7.1 and the latest version of jquery.hotkeys
2012-03-06 22:36:00 +00:00
Thomas Keller
177cf836b4
Stupid me, the condition needs to work on the count of the children, of course.
2011-03-03 23:41:56 +01:00
Thomas Keller
29d966cdb3
Reformat slightly; hide the table of contents if there are less than two
...
jump marks.
2011-03-01 00:21:05 +01:00
Loïc d'Anterroches
41fb1bf13c
Fixed the table of content to work with all the browsers.
2011-01-25 09:57:44 +01:00
William MARTIN
93af6a68bd
Add table of contents on wiki pages
2011-01-07 22:33:18 +01:00
Loic d'Anterroches
6d415e9ec5
Fixed ticket 349, updated the prettify lib to the latest version.
2010-02-04 11:21:30 +01:00
Loic d'Anterroches
7ca43e0ec2
Updated the pretty print not to need extra <pre></pre>.
2008-11-15 21:23:29 +01:00
Nicolas Lassalle
99a2e2b83f
Fixed issue 37, syntax highlighting of source.
2008-11-15 15:44:47 +01:00
Loic d'Anterroches
efbd82fccb
Initial commit.
2008-07-25 10:26:05 +02:00
