RE: [ jEdit-users ] jEditPre4 & JDK1.4.0rc1 & RedHat 7.2 issues

[Slava P. <sl...@je...>]

On Wed, 2002-01-30 at 01:45, John Gellene wrote:
> I don't see this on Windows under JDK1.4.  After moving to jEdit 4.0 for
> production work, I did notice that I lost my macro shortcuts, until I saw
> that in the new version, macro shortcusts are saved with a property
> beginning "play-macro@" instead of simply the name of the macro.  Am I right
> that this is a change? If so, a macro to convert properties to the new form
> might be a good idea.

John,

When I overhauled the action system in 4.0pre1, I thought that jEdit 3.2
stored macro shortcuts prefixed with play-macro@ for some reason (old
jEdit versions definately did, but I must've changed it at some stage).
jEdit 4.0pre5 will be compatible with 3.2 macro shortcuts but not
4.0pre1-pre4 ones.
-- 
Slava Pestov