urlformatting.html 1006 B

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