Mike Gelfand a3654c65a5 Replace setInterval() with setTimeout() for web UI refresh (patch by WGH) ...

Fixes: TRAC-6031

2017-01-15 11:17:31 +03:00

..

images

(trunk) slightly better image compression by passing them through pngwolf

2013-07-14 23:03:31 +00:00

javascript

Replace setInterval() with setTimeout() for web UI refresh (patch by WGH)

2017-01-15 11:17:31 +03:00

style

#4866: Replace existing menus with jQueryUI menu

2015-04-30 05:20:48 +00:00

index.html

Web UI: main() refactoring (patch by skybon @ GH-9)

2016-04-12 19:03:01 +00:00

LICENSE

…

Makefile.am

(trunk web) #4548 "non-local stylesheets and js" -- bundle jqueryui's css and accompanying images so that we don't have to rely on a third-party CDN.

2011-10-14 22:24:23 +00:00