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
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. =)
Karlsruhe Institute of Technology (KIT)
Communications Engineering Lab (CEL)
Dipl.-Ing. Sebastian Koslowski
76131 Karlsruhe, Germany
KIT University of the State of Baden-Wuerttemberg and National
Research Center of the Helmholtz Association