X-Git-Url: http://gitweb.fperrin.net/?a=blobdiff_plain;f=tim%2Fprune%2Fgui%2Fmap%2FMapCanvas.java;fp=tim%2Fprune%2Fgui%2Fmap%2FMapCanvas.java;h=7fc5c489dd06f4f3ad1cf0860b0f969deab9b6a4;hb=f1b92378a792131ac8fb33a869405851d5b2d1f7;hp=82cf434f7387adcfe56b5ff5c9d48710844d4d66;hpb=649c5da6ee1bbc590699e11a92316ece2ea8512d;p=GpsPrune.git diff --git a/tim/prune/gui/map/MapCanvas.java b/tim/prune/gui/map/MapCanvas.java index 82cf434..7fc5c48 100644 --- 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() {