On Thu, 25 Feb 2010 07:58:48 -0800 (PST), Can wrote:
<Space> and <Enter> keys do the same thing on Symbols tab. The following patch modifies that of <Space> key, so it only scrolls to corresponding symbol on editor but retains focus on Symbols tab.
Thanks for the patch, committed with slight modifications and the extension that this always works for the document list.
(Feature request #2919444)
Thanks for reminding.
Regards, Enrico