mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
plugins: set selection in availables correctly (roma)
(cherry picked from commit 5a6c7dea3e63d6a86bd2a94af9dcce4e4ca6bb76)
This commit is contained in:
@@ -90,14 +90,13 @@ public class AvailablePluginsManagerMain extends PluginManagerMain {
|
||||
|
||||
@Override
|
||||
public void reset() {
|
||||
super.reset();
|
||||
|
||||
UiNotifyConnector.doWhenFirstShown(getPluginTable(), new Runnable() {
|
||||
@Override
|
||||
public void run() {
|
||||
loadAvailablePlugins();
|
||||
}
|
||||
});
|
||||
super.reset();
|
||||
}
|
||||
|
||||
@Override
|
||||
|
||||
Reference in New Issue
Block a user