3 commits

Author	SHA1	Message	Date
Joey Hess	38ade1af70	better noscript UI	2012-07-29 00:55:22 -04:00
Joey Hess	376f8443c1	add a separate page for noscript browsers ... This may be customised differently than the main page later on, but for now the important thing is that this constantly refreshed page does not allocate a new NotificationHandle each time it's loaded.	2012-07-29 00:08:14 -04:00
Joey Hess	f5ef46d01e	cleaned up refreshing code into a widget ... Very happy to have a reusable autoUpdate widget that can make any Yesod widget automatically refresh! Also added support for non-javascript browsers, falling back to meta refresh. Also, the home page is now rendered with the webapp status on it, before any refreshing is done.	2012-07-26 21:03:46 -04:00