Re: [ jEdit-devel ] Some questions/comments on plugins using folds and modes/properties

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

On February 18, 2003 03:34 pm, da...@eg... wrote:
> Hi,
>
> I seemed to have discovered another issue with setting buffer
> properties in conjunction with buffer modes.

Instead of this:

> buffer.setStringProperty('mode', mode)
> buffer.setMode()

Try this:

buffer.setMode(jEdit.getMode(mode));

> buffer.setStringProperty('folding', 'explicit')
> buffer.propertiesChanged()

This should work with the above.
-- 
Slava Pestov