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.
Highlighting of search result seems to yield lag/high CPU load when moving.
MWE: In Nemo.jl, open
src/flint/fmpq_poly.jland search forZZRingElem. Then try to scroll down and lag should appear.