[ jEdit-devel ] Question regarding auto-indent and buffer local properties

[Marcelo V. <va...@us...>]

Hi there,

I have a fix for bug #1594910. The basic problem with that bug is that
there's just one indent rule set used for the whole buffer, so parts of
the buffer that are actually delegated to another mode end up using the
indent rules of the "top level" mode.

My fix keeps the indent rule information in the mode instance. This
makes it very easy to retrieve the line-specific indent rule
information, and also saves some resources (you don't have the indent
rule set for java replicated on every open buffer that's set to "java",
for example).

The only problem I see with my change is that it break possible
customization using buffer-local properties. Since the indent rules are
kept in the mode instance, the buffer local properties that relate to
how indenting works are no longer checked (rather using the mode's
properties).

So my question is: does anyone even use that? I personally don't, and
wouldn't mind having this functionality lost if it means saving some
resources. But I can create a fix that keeps that functionality if
people want it.

-- 
Marcelo Vanzin
va...@us...
"Life is too short to drink cheap beer"