|
From: Dale A. <da...@gr...> - 2010-10-10 20:58:39
|
I checked in a fix for this one this morning. It should be available in the next daily build at http://www.tellurianring.com/projects/jedit-daily/index.php?dir=jEdit/. Really, this was quite easy to add since Slava had added most of the code for it a long time ago, then commented it out. I can't find any notes as to why this code was inactivated. Dale On Sun, Oct 10, 2010 at 11:53 AM, Dimitri Maziuk <dm...@bm...>wrote: > On 10/9/2010 12:21 PM, Robert Schwenn wrote: > > Dimitri Maziuk schrieb: > >> > >> Of course, changing the whole search and replace interface to match my > >> expectations would also mean jedit users have forget everything they > >> know and learn the new interface. > >> > > > > ... and maybe there are people who like it as it is ;-) > > Even the whole search and replace interface is excellent - even compared > > to other editors. > > Case in point: Dale's suggestion to add "Replace" button next to > "Replace and Find". Somebody out there will love this, I'm sure. To me > this is weird: I'd expect to see "Find next" and "Replace". > > Dima > > > ------------------------------------------------------------------------------ > Beautiful is writing same markup. Internet Explorer 9 supports > standards for HTML5, CSS3, SVG 1.1, ECMAScript5, and DOM L2 & L3. > Spend less time writing and rewriting code and more time creating great > experiences on the web. Be a part of the beta today. > http://p.sf.net/sfu/beautyoftheweb > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > |