Matthias Jentsch 84f35bc79a Fix last push url in history ...

Fix issue in history that caused some states to be swallowed by pushUrl, after going back and then trying to update to the previous state.

2015-07-29 12:34:49 +02:00

..

behavior

Fix range selection in IE

2015-07-28 17:54:08 +02:00

eventlistener.js

Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL

2015-02-04 10:52:27 +01:00

events.js

Remove single selections correctly when going back in the history

2015-07-28 15:21:14 +02:00

history.js

Fix last push url in history

2015-07-29 12:34:49 +02:00

loader.js

Fix selection lost after pushing refresh

2015-07-29 11:41:53 +02:00

logger.js

Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL

2015-02-04 10:52:27 +01:00

module.js

Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL

2015-02-04 10:52:27 +01:00

timer.js

Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL

2015-02-04 10:52:27 +01:00

timezone.js

Note that our license is GPL v2 or any later version in our license header instead of pointing to the license's URL

2015-02-04 10:52:27 +01:00

ui.js

Remove single selections correctly when going back in the history

2015-07-28 15:21:14 +02:00

utils.js

Use current filter to highlight active rows instead of storing active rows in JS

2015-06-29 18:48:42 +02:00