Fix race condition when closing browser tabs

This commit is contained in:
crschnick 2023-07-10 08:12:54 +00:00
parent db18b54c93
commit 9437791629

View file

@ -133,7 +133,9 @@ public class BrowserModel {
selected.setValue(null);
}
open.closeSync();
openFileSystems.remove(open);
synchronized (BrowserModel.this) {
openFileSystems.remove(open);
}
});
}