[ jEdit-devel ] new settings pane: search and replace

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[ jEdit-devel ] new settings pane: search and replace


I suggest adding a new option pane in global settings: Search and
Replace. I already see several switches that could appear on that pane:

- don't synchronize filter -
- find next on doubleclick -
- prompt for disabling undo -

Probably more search and replace customization could be put in this
pane, allowing for more functionality without overloading main search
dialog. This would allow to develop jedit in direction that was usually
blocked by opinions: "I don't like that option to be in the (tight)
search dialog". The search dialog could be extended dynamically by
settings in this pane. For example:

- show "Find First" button -


Live Security Virtual Conference
Exclusive live event will cover all the ways today's security and
threat landscape has changed and how IT managers can respond. Discussions
will include endpoint security, mobile security and the latest in malware
threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
jEdit Developers' List
[hidden email]