Lag in movement with search result highlights #318
Description
Highlighting of search result seems to yield lag/high CPU load when moving.
MWE: In Nemo.jl, open src/flint/fmpq_poly.jl and search for ZZRingElem. Then try to scroll down and lag should appear.