-
<%def name="tab( id, display, href, target='_parent', visible=True, extra_class='', menu_options=None )">
<%
cls = ""
a_cls = ""
extra = ""
if extra_class:
cls += " " + extra_class
if self.active_view == id:
cls += " active"
if menu_options:
cls += " dropdown"
a_cls += " dropdown-toggle"
extra = ""
style = ""
if not visible:
style = "display: none;"
%>
-
%if href:
${display}${extra}
%else:
${display}${extra}
%endif
%if menu_options:
-
%for menu_item in menu_options:
%if not menu_item:
%else:
- %if len ( menu_item ) == 1: ${menu_item[0]} %elif len ( menu_item ) == 2: <% name, link = menu_item %> ${name | h} %else: <% name, link, target = menu_item %> ${name | h} %endif %endif %endfor
## Repositories tab.
${tab( "repositories", "Repositories", h.url_for( controller='/repository', action='index' ) )}
## Admin tab.
${tab( "admin", "Admin", h.url_for( controller='/admin', action='index' ), extra_class="admin-only", visible=( trans.user and app.config.is_admin_user( trans.user ) ) )}
## Help tab.
<%
menu_options = []
qa_url = app.config.get( "qa_url", None )
if qa_url:
menu_options = [ [_('Galaxy Q&A'), qa_url, "_blank" ] ]
menu_options.extend( [
[_('Tool Shed Wiki'), app.config.get( "wiki_url", "http://wiki.galaxyproject.org/Tool%20Shed" ), "_blank" ],
[_('Support'), app.config.get( "support_url", "http://wiki.galaxyproject.org/Support" ), "_blank" ],
[_('Search'), app.config.get( "search_url", "http://galaxyproject.org/search/usegalaxy/" ), "_blank" ],
[_('Mailing Lists'), app.config.get( "mailing_lists_url", "http://wiki.galaxyproject.org/MailingLists" ), "_blank" ],
[_('Videos'), app.config.get( "screencasts_url", "http://vimeo.com/galaxyproject" ), "_blank" ],
[_('Wiki'), app.config.get( "wiki_url", "http://galaxyproject.org/" ), "_blank" ],
[_('How to Cite Galaxy'), app.config.get( "citation_url", "http://wiki.galaxyproject.org/CitingGalaxy" ), "_blank" ]
] )
tab( "help", _("Help"), None, menu_options=menu_options )
%>
## User tabs.
<%
from markupsafe import escape
# Menu for user who is not logged in.
menu_options = [ [ _("Login"), h.url_for( controller='/user', action='login' ), "galaxy_main" ] ]
if app.config.allow_user_creation:
menu_options.append( [ _("Register"), h.url_for( controller='/user', action='create', cntrller='user' ), "galaxy_main" ] )
extra_class = "loggedout-only"
visible = ( trans.user == None )
tab( "user", _("User"), None, visible=visible, menu_options=menu_options )
# Menu for user who is logged in.
if trans.user:
email = escape( trans.user.email )
else:
email = ""
menu_options = [ [ 'Logged in as %s' % email ] ]
if app.config.use_remote_user:
if app.config.remote_user_logout_href:
menu_options.append( [ _('Logout'), app.config.remote_user_logout_href, "_top" ] )
else:
menu_options.append( [ _('Preferences'), h.url_for( controller='/user', action='index', cntrller='user' ), "galaxy_main" ] )
menu_options.append( [ _('API Keys'), h.url_for( controller='/user', action='api_keys', cntrller='user' ), "galaxy_main" ] )
logout_url = h.url_for( controller='/user', action='logout' )
menu_options.append( [ 'Logout', logout_url, "_top" ] )
menu_options.append( None )
if app.config.use_remote_user:
menu_options.append( [ _('Public Name'), h.url_for( controller='/user', action='edit_username', cntrller='user' ), "galaxy_main" ] )
extra_class = "loggedin-only"
visible = ( trans.user != None )
tab( "user", "User", None, visible=visible, menu_options=menu_options )
%>
})
Galaxy Tool Shed
%if app.config.brand: