diff -r 4d194fce51e1 -r 87f94936990d edit_prefs.py --- a/edit_prefs.py Sun Oct 12 11:11:31 2003 -0400 +++ b/edit_prefs.py Fri Oct 17 15:05:17 2003 -0400 @@ -25,5 +25,7 @@ prefs['keywords_sort'] = form['kw_sort'].value if form.has_key('kw_reverse'): prefs['keywords_reverse'] = form['kw_reverse'].value <> 0 + if form.has_key('fullname'): + prefs['fullname'] = form['fullname'].value db.set_preferences(prefs) load_index(db)