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 13190c98d238f75db9ef86a58b3aea8ac6dce874..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,4 +22,8 @@ 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) {
+       };
 }