Thomas Gelf 70ba36aad6 notifications: improve client- and serverside ... This is just a first step, trying to catch a few gotchas: * it doesn't send notifications to the browser when issueing a redirect as redirects can currently not be catched in jQuery response handlers * it tries to find a better notification handling place in the response handler (JS) - still imperfect * it explicitely stores sessions once modified by notifications. Still need to crosscheck whether this is really needed and how we can get rid of this. refs #6280		2014-05-26 14:41:47 +00:00
..
css	sidebar/menu: menu should be scrollable	2014-05-26 08:18:47 +00:00
img	Demo Vagrant box is looking for a tux - here you go ;)	2014-03-08 12:06:28 +01:00
js	notifications: improve client- and serverside	2014-05-26 14:41:47 +00:00
.gitignore	Fix config path in index.php (generate with configure).	2013-10-22 10:57:15 +02:00
.htaccess.in	Clean up .htaccess	2014-03-27 07:39:30 +00:00
index.php.in	Simplify pre-bootstrapping web routing	2014-03-27 07:25:53 +00:00