Customisable map styling

[gpl/argeo-suite.git] / org.argeo.app.geo / src / org / argeo / app / geo / ux / MapPart.java

diff --git a/org.argeo.app.geo/src/org/argeo/app/geo/ux/MapPart.java b/org.argeo.app.geo/src/org/argeo/app/geo/ux/MapPart.java
index 11ee0d11875345f1b716acb53df0e9ba9e3be39c..84f4dd541cf6b0acfed6623e6c5680eb48965ac4 100644 (file)
--- a/org.argeo.app.geo/src/org/argeo/app/geo/ux/MapPart.java
+++ b/org.argeo.app.geo/src/org/argeo/app/geo/ux/MapPart.java
@@ -9,7 +9,7 @@ public interface MapPart {
 
        void addPoint(double lng, double lat, String style);
 
-       void addUrlLayer(String url, GeoFormat format);
+       void addUrlLayer(String url, GeoFormat format, String style);
 
        void setZoom(int zoom);
 
@@ -22,6 +22,7 @@ public interface MapPart {
        /** Event when a feature has been selected. */
        record FeatureSelectedEvent(String path) {
        };
+
        /** Event when a feature popup is requested. */
        record FeaturePopupEvent(String path) {
        };