|
From: Reinout v. S. <re...@cs...> - 2001-02-26 20:51:46
|
On Mon, 26 Feb 2001, Jim Urban wrote: > While I don't object to a well thought out auto-save feature, I want my save > and save as buttons. I want to be able to save when I feel the need to > save. Just my opinion. You should try VisualAge for Java sometime - it has a 'repository' that does about the same thing that Kristian proposes. It's quite nifty, actually, but it takes some getting used to. However, although this feature fits in the 'IDE' view of jEdit, it should still be usable as a simple editor and hence removing the Save option is a bad idea IMO. -- Reinout van Schouwen e-mail : re...@cs... voicemail : 020-8750706 |