mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-20 05:21:29 +07:00
Fix additional window decoration when changing context
Fixes IDEA-298893 GitOrigin-RevId: 0ea6c129607737681c212c619fa1ef753e2f6f39
This commit is contained in:
committed by
intellij-monorepo-bot
parent
e97192a0eb
commit
4228a301ed
@@ -870,7 +870,12 @@ public final class DockManagerImpl extends DockManager implements PersistentStat
|
||||
window.setupToolWindowPane();
|
||||
}
|
||||
|
||||
UIUtil.invokeLaterIfNeeded(window::show);
|
||||
// If the window exists, it's already visible. Don't show multiple times as this will set up additional listeners and window decoration
|
||||
UIUtil.invokeLaterIfNeeded(() -> {
|
||||
if (!window.getFrame().isVisible()) {
|
||||
window.show();
|
||||
}
|
||||
});
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user