multi selection via search/selection with Ctrl-Shift-> and Ctrl-Shift-<
multi selection via search/selection with Ctrl-Shift-> and Ctrl-Shift-<

LivelyKernel/LivelyKernel,NikolaySuslov/LivelyKernel,LivelyKernel/LivelyKernel,LivelyKernel/LivelyKernel,pascience/LivelyKernel,NikolaySuslov/LivelyKernel,pascience/LivelyKernel,NikolaySuslov/LivelyKernel,pascience/LivelyKernel