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