New ui.find.entry_font option (e.g. for themes)

[orbitalquark]

I've just committed a new feature to specify the font for the find & replace pane entries via ui.find.entry_font. For the default "dark" and "light" themes, this field is populated with the default font name and size. Theme authors may want to do something similar.

For those of you using custom themes and who prefer monospaced fonts in the find & replace pane entries, you can either update your theme or add ui.find.entry_font = 'monospace 12' or similar in your ~/.textadept/init.lua. Replace monospace with the name of your preferred font and 12 with your preferred size.

These changes will show up in the next nightly build.