From: Manfred U. <Uss...@ic...> - 2000-10-15 09:39:22
|
thanks for all the work you spend on jEdit! It is really great! The only thing which I do not quite understand is that there seems to be no easy way to install plugins for the latest stable version. Or am I wrong with this? Ok, most of the tend I use the latest version anyhow but since the stable version is also offered I could imagine that a lot of people prefer it to be on the safe side. On Sun, 15 Oct 2000 15:41:28 +1100, Slava Pestov wrote: <..> >- The installer no longer creates batch files on windows. Just > double-click on 'jedit.jar' instead I believe, this does not work for 1.1.7/8. You could argue that 1.2/1.3 is available for WinXX, but for example I use jEdit also on corporate systems where 1.1.x is preinstalled and it still runs fine with it (except some plugins are not available). Anyhow, I don't really mind since I always used my own .cmd file (with javaw) which sets classpath and path for the JDK/JRE I want to use (I tend to have more than one installed). Manfred -- Manfred Usselmann uss...@ic... -------------------------------------------------- I C G Informationstechnologie Consulting GmbH Bahnstr. 7, D-65835 Liederbach / Ts. Tel. +49 69 333 623, Fax +49 69 306 845 -------------------------------------------------- http://www.icg-online.de -------------------------------------------------- |