@Override public String getMapName() { return header.getName(); }
@Override public OutputStream getOutputStream(MapFileHeader header) throws IOException { String name = header.getName().toLowerCase(Locale.ENGLISH).replaceAll("^\\W+|\\W+$", "").replaceAll("\\W+", "_"); if (name.isEmpty()) { name = "map";
/** * Load and display a map header * * @param header * Header */ public void setHeader(MapFileHeader header) { nameField.setText(header.getName()); descriptionField.setText(header.getDescription()); width.setValue(Integer.valueOf(header.getWidth())); height.setValue(Integer.valueOf(header.getHeight())); minPlayer.setValue(Integer.valueOf(header.getMinPlayers())); maxPlayer.setValue(Integer.valueOf(header.getMaxPlayers())); }
/** * Generate new map header * * @return New header */ protected MapFileHeader generateMapHeader() { short[] image = new PreviewImageCreator(header.getWidth(), header.getHeight(), MapFileHeader.PREVIEW_IMAGE_SIZE, mapData.getPreviewImageDataSupplier()).getPreviewImage(); MapFileHeader imagedHeader = new MapFileHeader(header.getType(), header.getName(), header.getBaseMapId(), header.getDescription(), header.getWidth(), header.getHeight(), header.getMinPlayers(), header.getMaxPlayers(), new Date(), image); return imagedHeader; }
window.invalidate(); window.setFilename(getHeader().getName());