diff -r d3c1de4d929e -r 2781ac85b807 edit_prefs.py --- a/edit_prefs.py Fri Oct 24 14:19:30 2003 -0400 +++ b/edit_prefs.py Fri Oct 24 17:04:29 2003 -0400 @@ -23,8 +23,10 @@ prefs['keywords_box'] = int(form['kw_size'].value) if form.has_key('kw_sort'): prefs['keywords_sort'] = form['kw_sort'].value + if form.has_key('default_view'): + prefs['default_view'] = int(form['default_view'].value) prefs['keywords_reverse'] = form.has_key('kw_reverse') if form.has_key('fullname'): prefs['fullname'] = form['fullname'].value db.set_preferences(prefs) - load_index(db) + load_index(db, prefs)