annotate sat_templates/templates/bulma/components/menu_labels.html @ 356:e3e11ced9f8f

bulma: new `retry-notification` template: this template is used notably when server connection is lost, and it will be checked again after a delay.
author Goffi <goffi@goffi.org>
date Thu, 30 Mar 2023 17:03:57 +0200
parents 1c330913ff13
children 271b38ccd217
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
230
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
1 {# menu labels, map from menu names to labels #}
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
2 {% set label = {
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
3 'login': _('Session') if profile else _('Log in'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
4 'blog': _('Blog'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
5 'forums': _('Forums'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
6 'merge-requests': _('Merge requests'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
7 'merge-request_new': _('Create new merge request'),
298
1c330913ff13 bulma (tickets): renamed "tickets" to "lists"
Goffi <goffi@goffi.org>
parents: 230
diff changeset
8 'lists': _('Lists'),
1c330913ff13 bulma (tickets): renamed "tickets" to "lists"
Goffi <goffi@goffi.org>
parents: 230
diff changeset
9 'list_items': _('List items'),
1c330913ff13 bulma (tickets): renamed "tickets" to "lists"
Goffi <goffi@goffi.org>
parents: 230
diff changeset
10 'list_item_new': _('Create new list item'),
230
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
11 'chat': _('Chat'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
12 'files': _('Files sharing'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
13 'events': _('Events'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
14 'event_new': _('Create an event'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
15 'photos': _('Photos albums'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
16 'app': _('Application'),
0e69b5843c2f theme: bulma theme first draft:
Goffi <goffi@goffi.org>
parents:
diff changeset
17 } %}