On 2016-11-18 09:57:33 -0800, Kevin J. McCarthy wrote: > Answering my own question: no. Inside the pager, the <search> operation > searches for text in the message. I suppose we could have it <exit> in > the pager version, but I think that might be more likely to confuse > someone.
I agree. And the macro can be added by the user if he really wants that. > So I think the fix here is just to change MENU_GENERIC to MENU_MAIN. > > I'll fix that and the translation messages and push a fix later today. Thanks. I confirm that this works. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
