Wed, 23 Jan 2013 22:17:51 +0100 |
Marcin Kuzminski |
Killed home button. It's a wast of space, and every other major service simply doesn't have a home button. Getting to home can be
beta
|
Wed, 23 Jan 2013 22:16:54 +0100 |
Marcin Kuzminski |
Implements #734 repo switcher should be available in all views
beta
|
Wed, 23 Jan 2013 22:03:39 +0100 |
Marcin Kuzminski |
Set current pages indication for search and journal
beta
|
Wed, 23 Jan 2013 21:55:15 +0100 |
Marcin Kuzminski |
make gravatar icon little bit bigger, re-use same img src like on other menu items,
beta
|
Wed, 23 Jan 2013 20:26:34 +0100 |
Mads Kiilerich |
top menu: show user menu when hovering instead of using js - like other menus
beta
|
Wed, 23 Jan 2013 20:26:34 +0100 |
Mads Kiilerich |
top menu: show user menu as a menu option like others, now also with login name
beta
|
Wed, 23 Jan 2013 20:26:33 +0100 |
Mads Kiilerich |
top menu: make 'Home' current for 'Home'
beta
|
Wed, 23 Jan 2013 20:26:33 +0100 |
Mads Kiilerich |
top menu: highlight current menu item - reusing hover
beta
|
Wed, 23 Jan 2013 20:26:33 +0100 |
Mads Kiilerich |
top menu: use 'Repositories' instead of down arrow
beta
|
Tue, 22 Jan 2013 23:44:38 +0100 |
Mads Kiilerich |
html: don't hardcode uppercase texts
beta
|
Wed, 23 Jan 2013 20:54:05 +0100 |
Marcin Kuzminski |
remove comments associated to pull request from single changesets, it's too confusing.
beta
|
Wed, 23 Jan 2013 20:22:08 +0100 |
Marcin Kuzminski |
fixes stupid git ci call that can break on systems that don't have this alias
beta
|
Tue, 22 Jan 2013 23:44:38 +0100 |
Mads Kiilerich |
html: random indentation fixes
beta
|
Tue, 22 Jan 2013 23:44:38 +0100 |
Mads Kiilerich |
html: don't use tabs
beta
|