Method deleteLayer

src/main/java/mudmap2/backend/World.java:228–235

Deletes a layer and all places on it @param layer

(Layer layer)

     * @param layer
     */
    public void deleteLayer(Layer layer){
        for(LayerElement elem: layer.getLayerElements()){
            if(elem instanceof Place) ((Place) elem).removeConnections();
            layer.remove(elem);
        }
        layers.remove(layer.id);
        callListeners(null);
    }

    /**
     * Creates a new and empty layer