equal
deleted
inserted
replaced
39 % for fmt_name, fmt in preferences.formatter.formatters.iteritems() : |
39 % for fmt_name, fmt in preferences.formatter.formatters.iteritems() : |
40 <option value="${fmt_name}">${fmt.title}</option> |
40 <option value="${fmt_name}">${fmt.title}</option> |
41 % endfor |
41 % endfor |
42 </select> |
42 </select> |
43 </p> |
43 </p> |
|
44 |
|
45 <p> |
|
46 <label for="count">Lines / Page:</label> |
|
47 <input type="text" name="count" value="${prefs['count']}" /> |
|
48 <span class="example">(Blank for infinite)</span> |
|
49 </p> |
44 </fieldset> |
50 </fieldset> |
45 |
51 |
46 <input type="submit" value="Save" /> |
52 <input type="submit" value="Save" /> |
47 </form> |
53 </form> |
48 |
54 |