diff options
Diffstat (limited to 'java/src/IceGridGUI/SimpleInternalFrame.java')
| -rw-r--r-- | java/src/IceGridGUI/SimpleInternalFrame.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/java/src/IceGridGUI/SimpleInternalFrame.java b/java/src/IceGridGUI/SimpleInternalFrame.java index 8f3b017ac55..14b0a514911 100644 --- a/java/src/IceGridGUI/SimpleInternalFrame.java +++ b/java/src/IceGridGUI/SimpleInternalFrame.java @@ -319,6 +319,7 @@ public class SimpleInternalFrame extends JPanel { * Updates the UI. In addition to the superclass behavior, we need * to update the header component. */ + @Override public void updateUI() { super.updateUI(); if (titleLabel != null) { @@ -388,8 +389,10 @@ public class SimpleInternalFrame extends JPanel { private static final Insets INSETS = new Insets(1, 1, 1, 0); + @Override public Insets getBorderInsets(Component c) { return INSETS; } + @Override public void paintBorder(Component c, Graphics g, int x, int y, int w, int h) { @@ -408,8 +411,10 @@ public class SimpleInternalFrame extends JPanel { private static final Insets INSETS = new Insets(1, 1, 3, 3); + @Override public Insets getBorderInsets(Component c) { return INSETS; } + @Override public void paintBorder(Component c, Graphics g, int x, int y, int w, int h) { @@ -457,6 +462,7 @@ public class SimpleInternalFrame extends JPanel { setBackground(background); } + @Override public void paintComponent(Graphics g) { super.paintComponent(g); if (!isOpaque()) { |