Thomas Keller 7e10524f92 Add a popup menu in the main menu which allows to quickly jump between projects. ... * refactor out the common menu code from several base*.html classes into main-menu.html and put the raw links into a unordered list (which makes it easier to create dynamic menus as we cannot insert block items into inline items in strict mode) * query the list of available projects on every request and set them for every template in Middleware.php * make the popup menu pretty		2010-10-15 00:40:09 +00:00
..
css	Add a popup menu in the main menu which allows to quickly jump between projects.	2010-10-15 00:40:09 +00:00
img	Fixed issue 181, add an icon in the project list for private projects.	2009-07-08 14:35:44 +02:00
js	Fixed ticket 349, updated the prettify lib to the latest version.	2010-02-04 11:21:30 +01:00