--- 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)