equal
deleted
inserted
replaced
23 prefs['keywords_box'] = int(form['kw_size'].value) |
23 prefs['keywords_box'] = int(form['kw_size'].value) |
24 if form.has_key('kw_sort'): |
24 if form.has_key('kw_sort'): |
25 prefs['keywords_sort'] = form['kw_sort'].value |
25 prefs['keywords_sort'] = form['kw_sort'].value |
26 if form.has_key('kw_reverse'): |
26 if form.has_key('kw_reverse'): |
27 prefs['keywords_reverse'] = form['kw_reverse'].value <> 0 |
27 prefs['keywords_reverse'] = form['kw_reverse'].value <> 0 |
|
28 if form.has_key('fullname'): |
|
29 prefs['fullname'] = form['fullname'].value |
28 db.set_preferences(prefs) |
30 db.set_preferences(prefs) |
29 load_index(db) |
31 load_index(db) |