blob: ba11bdb63665c6b77407b6be7e3670bec7449800 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
<fieldset>{{- '' -}}
<legend id="pref_url_formatting">{{- _('URL formatting') -}}</legend>{{- '' -}}
<div class="value">{{- '' -}}
<select name="url_formatting" aria-labelledby="pref_url_formatting">{{- '' -}}
<option value="pretty"
{%- if preferences.get_value('url_formatting') == 'pretty' %} selected="selected"
{%- endif -%}>
{{- _('Pretty') -}}
</option>{{- '' -}}
<option value="full"
{%- if preferences.get_value('url_formatting') == 'full' %} selected="selected"
{%- endif -%}>
{{- _('Full') -}}
</option>{{- '' -}}
<option value="host"
{%- if preferences.get_value('url_formatting') == 'host' %} selected="selected"
{%- endif -%}>
{{- _('Host') -}}
</option>{{- '' -}}
</select>{{- '' -}}
</div>{{- '' -}}
<div class="description">
{{- _('Change result URL formatting') -}}
</div>{{- '' -}}
</fieldset>{{- '' -}}
|
