Hi,
I just completed a rewrite of the search function in GRC (on master).
The block tree is now filted (instead of showing search results in a
separete category). Also, this fixes the long-standing bug where GRC
would crash if the search was open and the window was scrolled to the
end.
To search, press crtl+f and start typing; press Return to add the first
hit and Esc to abort/reset. Also, you can use the arrow keys to navigate
the search results.
For the vim-ers out there I’ll probably add second keybinding next. =)
Cheers,
Sebastian
–
Karlsruhe Institute of Technology (KIT)
Communications Engineering Lab (CEL)
Dipl.-Ing. Sebastian Koslowski
Research Associate
Kaiserstrae 12
Building 05.01
76131 Karlsruhe, Germany
Phone: +49 721 608-46275
Fax: +49 721 608-46071
Email: [email protected]
Web: http://www.cel.kit.edu/
KIT University of the State of Baden-Wuerttemberg and National
Research Center of the Helmholtz Association
