#511 Able to use different font for search results

[Anonymous]

I use a large font for the Edit pane because this is a pane that I stare at for long periods of time. But I would prefer to see a lot of search results, to reduce scrolling. Since I don't stare at the search results all the time, it would be okay of the search results used a smaller font. (I guess the same would apply to the Fuzzy Match pane and the Glossary pane.)

Also, the font of the Edit pane should be one that can be read easily when reading at a slow pace, while the font of the search results pane should be one that is optimised for skim reading. So it's not just the size that matters.

So, I would like to be able to set the font of the search results separately. -- leuce

[Nobody/Anonymous]

Related RFE:
http://sourceforge.net/tracker/index.php?func=detail&aid=1295948&group_id=68187&atid=520350

[Kos Ivantsov]

Should this one be closed as duplicate of [#1253] or one of the multiple similar ones?