From c6f96799c0660d9b3d9b580afe2cd3a2a8227e6a Mon Sep 17 00:00:00 2001 From: Ivan Semenov Date: Mon, 15 Jun 2020 16:16:04 +0300 Subject: [PATCH] [github] Fix error panel size recalculation GitOrigin-RevId: f9303bcceafe29c1b6c2a3d6be11710e36a9f2e5 --- .../src/org/jetbrains/plugins/github/ui/GHHtmlErrorPanel.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/github/src/org/jetbrains/plugins/github/ui/GHHtmlErrorPanel.kt b/plugins/github/src/org/jetbrains/plugins/github/ui/GHHtmlErrorPanel.kt index aed0a53c3eb3..db0426ea24d3 100644 --- a/plugins/github/src/org/jetbrains/plugins/github/ui/GHHtmlErrorPanel.kt +++ b/plugins/github/src/org/jetbrains/plugins/github/ui/GHHtmlErrorPanel.kt @@ -87,7 +87,7 @@ object GHHtmlErrorPanel { pane.setBody("") } // JDK bug - need to force height recalculation (see JBR-2256) - pane.setSize(pane.width, Int.MAX_VALUE / 2) + pane.setSize(Int.MAX_VALUE / 2, Int.MAX_VALUE / 2) } //language=HTML