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