Re: [ jEdit-devel ] work done on the Plugin Manager

Hi Eric,

I'm not sure if this is related to the work you did, if not, let me know
and I'll put in a ticket. When I first open the Plugin Manager, the Manage
tab is active and the plugins are not sorted, although it appears they
should be sorted by name since the "Name" column header has the down arrow
in it. Clicking on the "Name" header in the table doesn't work, that is,
nothing happens. Clicking on one of the other column headers works, then
after that, the "Name" header will work and will sort the plugins by name.

Dale



On Thu, Sep 17, 2015 at 12:50 PM, Eric Le Lay <
ker...@us...> wrote:

> Hi,
>
> I'm done with the things I wanted to fix in the plugin manager.
> Please give it a try.
>
> Changes are:
>  - the "hide installed plugins" checkbox in the install panel
>  - installed but not loaded plugins are noticed and not reinstalled if
>    they are a dependency. They are only re-installed if checked in the
>    Manage panel.
>
> Not changed: an already installed plugin "a" will not be updated if a
> plugin "b" depending on a newer version of "a" is installed. You'll have
> to manually update "a" after the install and failed load of "b".
> (try it with XML 2.8.0 installed and installing latest XSLT)
>
> I won't be available until October, 8th. so don't let it delay the
> release: rollback any necessary change if it can't be fixed.
>
> Cheers,
> Eric
>
>
> ------------------------------------------------------------------------------
> Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
> Get real-time metrics from all of your servers, apps and tools
> in one place.
> SourceForge users - Click here to start your Free Trial of Datadog now!
> http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
> --
> -----------------------------------------------
> jEdit Developers' List
> jEd...@li...
> https://lists.sourceforge.net/lists/listinfo/jedit-devel
>