mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Continue fixing multiple UI issues found when testing wcDocker changes. #6479
This commit is contained in:
@@ -78,4 +78,13 @@ export function listenPreferenceBroadcast() {
|
||||
|
||||
// initial sync
|
||||
preferenceChangeBroadcast.postMessage('sync');
|
||||
|
||||
return new Promise((resolve)=>{
|
||||
const i = setInterval(()=>{
|
||||
if(usePreferences.getState()?.version > 0) {
|
||||
clearInterval(i);
|
||||
resolve();
|
||||
}
|
||||
}, 100);
|
||||
});
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user