|
From: Dimitri M. <dm...@bm...> - 2010-10-10 17:55:33
|
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 |