JetBrains: Make the weird popup padding nicer
Created by: vdavid
Resizing a window or splitter part doesn't work in a few pixels around the JCEF component. To make the UX better, we added 4px of padding at both sides and 5px at the bottom of the panel. It looks ugly, though.
Solution ideas:
-
Catch the "resize started" event in Java, and add the necessary paddings only during resizing. Pro: Solves the resize problem. Con: It'd look a bit weird temporarily.
-
Add invisible Swing components around the JCEF to overlay it and catch mouse events when resizing. Pro: Solves the resize problem. Has no temporary glitches on the UI. Con: Makes some part of the browser content inaccessible with the mouse. It's just a few pixels, however: no big deal on the sides, maybe a little weird at the bottom.
@vdavid: I'd try no. 2 first