Window decorations: added border (issues #47 and #82)

This commit is contained in:
Karl Tauber
2020-06-02 17:49:30 +02:00
parent 8500781cd5
commit 1fffc67d13
6 changed files with 52 additions and 3 deletions

View File

@@ -284,8 +284,9 @@ public class FlatInspector
highlightFigure.setVisible( c != null );
if( c != null ) {
Insets insets = rootPane.getInsets();
highlightFigure.setBounds( new Rectangle(
SwingUtilities.convertPoint( c, 0, 0, rootPane ),
SwingUtilities.convertPoint( c, -insets.left, -insets.top, rootPane ),
c.getSize() ) );
}
}