mirror of
https://github.com/arduino/Arduino.git
synced 2025-03-13 10:29:35 +01:00
library manager: installed element is now displayed correctly
This commit is contained in:
parent
d4a12205fa
commit
e18261f486
@ -218,8 +218,9 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
|
||||
try {
|
||||
setProgressVisible(true, tr("Installing..."));
|
||||
installer.install(lib, mayReplaced, this::setProgress);
|
||||
onIndexesUpdated(); // TODO: Do a better job in refreshing only the needed element
|
||||
//getContribModel().updateLibrary(lib);
|
||||
onIndexesUpdated();
|
||||
// TODO: Do a better job in refreshing only the needed element
|
||||
((LibrariesIndexTableModel) contribModel).update();
|
||||
} catch (Exception e) {
|
||||
throw new RuntimeException(e);
|
||||
} finally {
|
||||
@ -246,8 +247,9 @@ public class LibraryManagerUI extends InstallerJDialog<ContributedLibraryRelease
|
||||
try {
|
||||
setProgressVisible(true, tr("Removing..."));
|
||||
installer.remove(lib, this::setProgress);
|
||||
onIndexesUpdated(); // TODO: Do a better job in refreshing only the needed element
|
||||
//getContribModel().updateLibrary(lib);
|
||||
onIndexesUpdated();
|
||||
// TODO: Do a better job in refreshing only the needed element
|
||||
((LibrariesIndexTableModel) contribModel).update();
|
||||
} catch (Exception e) {
|
||||
throw new RuntimeException(e);
|
||||
} finally {
|
||||
|
Loading…
x
Reference in New Issue
Block a user