1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-28 09:24:14 +01:00

Lib manager GUI is updated after installing/upgrading library

This commit is contained in:
Cristian Maglie 2020-07-15 18:51:14 +02:00
parent a81772afc6
commit 851b5b14b1

View File

@ -197,8 +197,11 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
try {
setProgressVisible(true, "");
installer.updateIndex(this::setProgress);
((LibrariesIndexTableModel) contribModel).update();
onIndexesUpdated();
if (contribTable.getCellEditor() != null) {
contribTable.getCellEditor().stopCellEditing();
}
((LibrariesIndexTableModel) contribModel).update();
} catch (Exception e) {
throw new RuntimeException(e);
} finally {
@ -234,12 +237,11 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
} else {
installer.install(lib, this::setProgress);
}
// TODO: Do a better job in refreshing only the needed element
onIndexesUpdated();
if (contribTable.getCellEditor() != null) {
contribTable.getCellEditor().stopCellEditing();
}
((LibrariesIndexTableModel) contribModel).update();
onIndexesUpdated();
} catch (Exception e) {
throw new RuntimeException(e);
} finally {
@ -266,12 +268,11 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
try {
setProgressVisible(true, tr("Removing..."));
installer.remove(lib, this::setProgress);
// TODO: Do a better job in refreshing only the needed element
onIndexesUpdated();
if (contribTable.getCellEditor() != null) {
contribTable.getCellEditor().stopCellEditing();
}
((LibrariesIndexTableModel) contribModel).update();
onIndexesUpdated();
} catch (Exception e) {
throw new RuntimeException(e);
} finally {