Version 13.4, May 2012

[GpsPrune.git] / tim / prune / gui / map / MapCanvas.java

diff --git a/tim/prune/gui/map/MapCanvas.java b/tim/prune/gui/map/MapCanvas.java
index 82cf434f7387adcfe56b5ff5c9d48710844d4d66..7fc5c489dd06f4f3ad1cf0860b0f969deab9b6a4 100644 (file)
--- a/tim/prune/gui/map/MapCanvas.java
+++ b/tim/prune/gui/map/MapCanvas.java
@@ -165,9 +165,8 @@ public class MapCanvas extends JPanel implements MouseListener, MouseMotionListe
                                UpdateMessageBroker.informSubscribers(); // to let menu know
                        }
                };
-               _topPanel = new JPanel();
+               _topPanel = new OverlayPanel();
                _topPanel.setLayout(new FlowLayout());
-               _topPanel.setOpaque(false);
                // Make slider for transparency
                _transparencySlider = new JSlider(-6, 6, 0);
                _transparencySlider.setPreferredSize(new Dimension(100, 20));
@@ -227,11 +226,10 @@ public class MapCanvas extends JPanel implements MouseListener, MouseMotionListe
                _topPanel.add(_connectCheckBox);
 
                // Add zoom in, zoom out buttons
-               _sidePanel = new JPanel();
+               _sidePanel = new OverlayPanel();
                _sidePanel.setLayout(new BoxLayout(_sidePanel, BoxLayout.Y_AXIS));
-               _sidePanel.setOpaque(false);
                JButton zoomInButton = new JButton(IconManager.getImageIcon(IconManager.ZOOM_IN_BUTTON));
-               zoomInButton.setBorder(BorderFactory.createEmptyBorder(3, 3, 3, 3));
+               zoomInButton.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
                zoomInButton.setContentAreaFilled(false);
                zoomInButton.setToolTipText(I18nManager.getText("menu.map.zoomin"));
                zoomInButton.addActionListener(new ActionListener() {
@@ -243,7 +241,7 @@ public class MapCanvas extends JPanel implements MouseListener, MouseMotionListe
                zoomInButton.setFocusable(false); // stop button from stealing keyboard focus
                _sidePanel.add(zoomInButton);
                JButton zoomOutButton = new JButton(IconManager.getImageIcon(IconManager.ZOOM_OUT_BUTTON));
-               zoomOutButton.setBorder(BorderFactory.createEmptyBorder(3, 3, 3, 3));
+               zoomOutButton.setBorder(BorderFactory.createEmptyBorder(5, 5, 5, 5));
                zoomOutButton.setContentAreaFilled(false);
                zoomOutButton.setToolTipText(I18nManager.getText("menu.map.zoomout"));
                zoomOutButton.addActionListener(new ActionListener() {