private FigureEditorAwareWorldMapPane(WorldMapPaneDataModel dataModel, SelectionOverlay overlay) { super(dataModel, overlay); addZoomListener(RegionSelectableWorldMapPane.this::handleZoom); greyOverlay = (canvas, rendering) -> { final Graphics2D graphics = rendering.getGraphics(); graphics.setPaint(new Color(200, 200, 200, 180)); graphics.fillRect(0, 0, worldMapPane.getWidth(), worldMapPane.getHeight()); }; }
@Override public void doLayout() { if (navControlShown && navControlWrapper != null) { navControlWrapper.setLocation(getWidth() - navControlWrapper.getWidth() - 4, 4); } super.doLayout(); }