1234567891011121314151617181920212223242526 |
- <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>{{- '' -}}
|