mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[github] fix theme update
Fixes IDEA-241306 GitOrigin-RevId: 778c95bf4244ec400c7af4fa489bbea4041bb210
This commit is contained in:
committed by
intellij-monorepo-bot
parent
aba64ca28b
commit
38fb2fe104
+3
-2
@@ -11,6 +11,7 @@ import com.intellij.openapi.util.ClearableLazyValue
|
||||
import com.intellij.openapi.util.Disposer
|
||||
import com.intellij.ui.components.panels.Wrapper
|
||||
import com.intellij.ui.content.Content
|
||||
import com.intellij.util.IJSwingUtilities
|
||||
import com.intellij.util.ui.UIUtil
|
||||
import org.jetbrains.plugins.github.api.GithubApiRequestExecutor
|
||||
import org.jetbrains.plugins.github.api.GithubApiRequestExecutorManager
|
||||
@@ -255,7 +256,7 @@ internal class GHPRToolWindowTabControllerImpl(private val project: Project,
|
||||
currentPullRequest = null
|
||||
currentView = GHPRToolWindowViewType.NEW
|
||||
wrapper.setContent(createComponentHolder.value.component)
|
||||
wrapper.repaint()
|
||||
IJSwingUtilities.updateComponentTreeUI(wrapper)
|
||||
if (requestFocus) GHUIUtil.focusPanel(wrapper.targetComponent)
|
||||
}
|
||||
|
||||
@@ -272,7 +273,7 @@ internal class GHPRToolWindowTabControllerImpl(private val project: Project,
|
||||
currentPullRequest = null
|
||||
currentView = GHPRToolWindowViewType.LIST
|
||||
wrapper.setContent(listComponent)
|
||||
wrapper.repaint()
|
||||
IJSwingUtilities.updateComponentTreeUI(wrapper)
|
||||
if (requestFocus) GHUIUtil.focusPanel(wrapper.targetComponent)
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user