Search And Replace Popup Size
Jorge Garcia de Alba <[email protected]> Wed, 25 Dec 2024 07:37:12 -0600
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CAEVgvV_Up11vZwt9Y0OtCX4duY0Xux5Tu4YWHqOGG-erPjg3Qw@mail.gmail.com> |
Good day! I think the "Search And Replace" functionality is wonderful but is there a way to increase the popup size? I do not want to do this manually every time. It needs to be large. Jorge "JR" -- ----------------------------------------------- jEdit Users' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users