##// END OF EJS Templates
top menu: show user menu as a menu option like others, now also with login name...
top menu: show user menu as a menu option like others, now also with login name A minor regression: the message count is not clickable ... but it was hard to hit, and somewhat confusing that different parts of the icon meant different things. The new html/css will probably need some review and cross platform testing.

File last commit:

r2007:324ac367 beta
r3205:f01540c6 beta
Show More
__init__.py
9 lines | 240 B | text/x-python | PythonLexer
from .repository import GitRepository
from .changeset import GitChangeset
from .inmemory import GitInMemoryChangeset
from .workdir import GitWorkdir
__all__ = [
'GitRepository', 'GitChangeset', 'GitInMemoryChangeset', 'GitWorkdir',
]