Matthias Jentsch 3d07049fbf Re-render menu item after setting class to active ... Force the browser to re-render the menu item, to update the link layout immediately by recreting the content html. fixes #7897		2014-12-29 16:21:10 +01:00
..
behavior	Re-render menu item after setting class to active	2014-12-29 16:21:10 +01:00
eventlistener.js	…
events.js	JS/submitForm: Choosing the right submit button in FF	2014-11-20 11:07:10 +01:00
history.js	Add close-button to all containers	2014-10-01 14:51:51 +02:00
loader.js	js/loader: support multi-container redirection	2014-11-01 01:23:55 +01:00
logger.js	…
module.js	…
timer.js	…
timezone.js	…
ui.js	Remove debug `console.log()' from `provideSelectionCount()'	2014-11-14 10:18:47 +01:00
utils.js	…