Is it possible to change the font size of the search tool in status bar?
Detailed steps to reproduce the problem:
- Enable status bar using Settings -> Profiles -> Session -> Status bar enabled.
- Click on Configure Status bar and add Search tool.
- Click on Advanced... to increase the font size.
- Follow #7702 (closed) to increase status bar height.
- Now try to search for text in the terminal using cmd + F.
What happened: The search tool font size is unchanged.
What should have happened: I want to ability to change search tool font size.