-
Jérome Perrin authored
* don't set "hide rows on no search criterion", this should not display too much and search is broken. * use preference to get number of lines
f282c6a6
* don't set "hide rows on no search criterion", this should not display too much and search is broken. * use preference to get number of lines