Thomas Gelf 4ce35b5b95 Delay tab dropdown disappearance

2014-03-24 09:22:20 +00:00

..

events.js

Delay tab dropdown disappearance

2014-03-24 09:22:20 +00:00

history.js

Apply history also on page load

2014-03-10 14:48:40 +00:00

loader.js

Handle anchors in links

2014-03-20 11:25:10 +00:00

logger.js

One more safety measure for IEs weird way of providing a JS console

2014-03-17 17:06:31 +01:00

module.js

Lot's of JS changes

2014-03-04 13:08:29 +00:00

timer.js

Remove unnecessary spaces at end of line

2014-03-06 13:08:11 +01:00

ui.js

Handle window-id requests, allowing us to identify distinct windows

2014-03-21 13:27:44 +00:00

utils.js

Remove unnecessary spaces at end of line

2014-03-06 13:08:11 +01:00