From mboxrd@z Thu Jan 1 00:00:00 1970 From: wmorgan-sup@masanjin.net (William Morgan) Date: Sat, 02 Feb 2008 18:34:02 -0800 Subject: [sup-talk] [PATCH] fixed crasher when refining search and updated keybinding In-Reply-To: <1201325529-812-1-git-send-email-chrisw@rice.edu> References: <1201325529-812-1-git-send-email-chrisw@rice.edu> Message-ID: <1202005927-sup-5664@south> Reformatted excerpts from Christopher Warrington's message of 2008-01-25: > Refine search no longer crashes. This seems fine. At first I thought it was a little weird that the extra_opts are being discarded on refinement, but now I think that's actually the right thing to do. One minor tweak request: can you split this into two patches, one for the keybinding change and one for the bugfix? Thanks! -- William