Jakob Hirsch ee788774ec reworked auto-refresh ... - re-calculate refresh time after zooming or selecting - calculate refresh time according to number of tuples - use wrappers for setting/clearing refresh time		2011-03-22 12:54:35 +01:00
..
images	beautified radioactivity icon	2011-03-16 14:21:51 +01:00
javascripts	reworked auto-refresh	2011-03-22 12:54:35 +01:00
stylesheets	added translations to definitions	2011-03-16 12:09:22 +01:00
index.html	reworked auto-refresh	2011-03-22 12:54:35 +01:00