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('default_view'): |
|
27 prefs['default_view'] = int(form['default_view'].value) |
26 prefs['keywords_reverse'] = form.has_key('kw_reverse') |
28 prefs['keywords_reverse'] = form.has_key('kw_reverse') |
27 if form.has_key('fullname'): |
29 if form.has_key('fullname'): |
28 prefs['fullname'] = form['fullname'].value |
30 prefs['fullname'] = form['fullname'].value |
29 db.set_preferences(prefs) |
31 db.set_preferences(prefs) |
30 load_index(db) |
32 load_index(db, prefs) |