equal
deleted
inserted
replaced
21 prefs = db.get_preferences() |
21 prefs = db.get_preferences() |
22 if form.has_key('kw_size'): |
22 if form.has_key('kw_size'): |
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 prefs['keywords_reverse'] = form.has_key('kw_reverse') |
27 prefs['keywords_reverse'] = form['kw_reverse'].value <> 0 |
|
28 if form.has_key('fullname'): |
27 if form.has_key('fullname'): |
29 prefs['fullname'] = form['fullname'].value |
28 prefs['fullname'] = form['fullname'].value |
30 db.set_preferences(prefs) |
29 db.set_preferences(prefs) |
31 load_index(db) |
30 load_index(db) |