On fresh install , the "Install" button on the Plugin Manager -> Install sheet is
fine. Appears to respond (although having other issues with installing. However...)
When I go to "Download options -> Plugin Manager" options and change the "Install
plugins in:" radio button from the default "jEdit settings in directory" to "jEdit
application directory", the "Install" button on the Plugin Manager -> Install sheet
is greyed out. I presume this is the correct behaviour as I guess installing there
needs su permissions?
When I change the radio button back to "jEdit settings in directory", the above mentioned
"Install" button remains greyed-out. In fact, nothing seemes to bring it back other
than a reinstall. I am guessing this is a bug whereby the status of the "Install"
button is not being updated when the radio button is changed.
Using jEdit 5.3 & openjdk-8.
P.
Submitted | pir-uk2 - 2017-03-02 13:32:09.241000 | Assigned | |
---|---|---|---|
Priority | 5 | Labels | |
Status | open | Group | minor bug |
Resolution | None |
2017-03-02 23:01:37.945000 ezust |
There is a bug in 5.4 where the initial enabled-ness of the install button is incorrect
if some of the plugins are already checked due to a pluginset being set.
|
---|