MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[github] Fix error panel size recalculation

Browse Source 
GitOrigin-RevId: f9303bcceafe29c1b6c2a3d6be11710e36a9f2e5
This commit is contained in:
Ivan Semenov
2020-06-16 22:26:03 +03:00
committed by intellij-monorepo-bot
parent 71fd33e575
commit c6f96799c0
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
plugins/github/src/org/jetbrains/plugins/github/ui/GHHtmlErrorPanel.kt
+1 -1
View File
@@ -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