From: Kristian O. <kri...@he...> - 2001-02-26 22:02:05
|
Reinout van Schouwen <re...@cs...>: >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. What could be more simple than not having to save? I do agree that removing Save would be rather radical, because people are so used to it. There could be a Save feature for those who want it. -ko |