diff options
| author | Matthew Newhook <matthew@zeroc.com> | 2014-08-12 15:50:25 -0230 |
|---|---|---|
| committer | Matthew Newhook <matthew@zeroc.com> | 2014-08-12 15:50:25 -0230 |
| commit | 2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b (patch) | |
| tree | b460e22e91a9fbb9cfb71631303963fa94dd2c9c /java/src/IceGridGUI/SimpleInternalFrame.java | |
| parent | ICE-5492 Tcp Loopback Fast Path for C#/C++ on Windows (diff) | |
| download | ice-2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b.tar.bz2 ice-2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b.tar.xz ice-2f5c841cfce2ae5ff26e2e373c3ea7188da8b75b.zip | |
Added eclipse project settings for java.
Fix lots of warnings in Ice for Java.
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()) { |