Re: [ jEdit-devel ] Clear Properties Macro

[Shlomy R. <sre...@gm...>]

I don't understand - is your macro based on a "working set", which is
a growing set of properties which the user accessed recently (e.g.
during the last week), or is it based on a "fixed" set of properties
that includes what you wrote below?

Either way, this can be quite risky to use. For example, some of my
plugins define jEdit properties based on user input - properties that
you won't find anywhere except the java code itself (they are not part
of the .props files). A typical user is not aware of these properties
(unless the user tracks changes to the properties file).

At the very least, I suggest that the macro makes a backup of the
current properties before clearing any properties that it considers
unused.

Shlomy


On Sun, Jan 31, 2010 at 1:34 AM, Damien Radtke <dam...@gm...> wrote:
> I wrote a small macro that attempts to clear all unused properties
> from jEdit. It works by maintaining a list of properties to keep using
> a set, then iterating through all of the defined properties and
> unsetting any not contained in the set. Properties to keep are
> determined by reading through some property files defined in the jedit
> jar (jedit.props and jedit_gui.props), properties with a special
> ending (currently just .shortcut and .dock-position), anything saved
> in a plugin's cache, and a few are added manually. From my quick tests
> it appears to work fine with no adverse effects, but I wanted to see
> how it works for others, and if it's stable enough then maybe include
> it with jEdit.
>
> Hopefully this will help speed up jEdit for anyone who's getting
> bogged down with a lot of unused properties.
>
> ------------------------------------------------------------------------------
> The Planet: dedicated and managed hosting, cloud storage, colocation
> Stay online with enterprise data centers and the best network in the business
> Choose flexible plans and management services without long-term contracts
> Personal 24x7 support from experience hosting pros just a phone call away.
> http://p.sf.net/sfu/theplanet-com
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>
>