Allow user selected font in 'Text Filter' box

# Feature
In Options > Settings... you can define the font that should be used for displaying a log file and filtered search results.
But the 'Text Filter' box in the filter panel (F4) appears to be fixed as 9pt(?) Courier New
Could the font from the view settings or a new font setting be created that would apply to the 'Text Filter' box?
Andy

