Hi all,
I’d like to ask if anybody knows how to set the Search dialogue size. I use jEdit for two activities - coding and reading e-books. For coding I use Courier font 12, but for reading I switch to Times New Roman 26 for better readibility. But with the font set this big size, the size of the Search dialog reflects it and is unnecessarily big. Is there a way to call the search with a set size, independent of the font used in textArea?

Thanks for any help, tvojeho