Commit 9e952e84e1b059d85a603a64fb6619798064ff60
1 parent
2bbe36a1be
Exists in
master
and in
1 other branch
add message clustering option
Warning! This is a large diff.
To preserve performance the diff is not shown. Please, download the diff as plain diff or email patch instead.
Showing 117 changed files with 79508 additions and 52 deletions Side-by-side Diff
- src/main/kotlin/application/controller/MapPanelController.kt
- src/main/kotlin/application/controller/MenuBarController.kt
- src/main/kotlin/application/model/Context.kt
- src/main/kotlin/application/model/ObservableState.kt
- src/main/kotlin/application/model/State.kt
- src/main/kotlin/application/model/StateListener.kt
- src/main/kotlin/map/CircleMarkerGenerator.kt
- src/main/kotlin/map/LeafletMapView.kt
- src/main/kotlin/map/MapDisplayer.kt
- src/main/resources/gui/menuBar.fxml
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/.gitignore
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/.travis.yml
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/CHANGELOG.md
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/CONTRIBUTING.md
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/ISSUE_TEMPLATE.md
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/Jakefile.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/MIT-LICENCE.txt
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/README.md
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/bower.json
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/build/hintrc.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/build/rollup-config.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/MarkerCluster.Default.css
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/MarkerCluster.css
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/WhereAreTheJavascriptFiles.txt
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/leaflet.markercluster-src.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/leaflet.markercluster-src.js.map
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/leaflet.markercluster.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/dist/leaflet.markercluster.js.map
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/geojson-sample.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/geojson.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/map.png
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-convexhull.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-custom.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-dragging.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-everything.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-geojson.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-pane.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-realworld-maxzoom.388.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-realworld-mobile.388.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-realworld.10000.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-realworld.388.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-realworld.50000.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-singlemarkermode.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-spiderfier.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-zoomtobounds.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering-zoomtoshowlayer.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/marker-clustering.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/mobile.css
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/add-1000-after.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/add-markers-offscreen.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/add-remove-before-addtomap.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/animationless-zoom.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/click-cluster-at-screen-edge.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/disappearing-marker-from-spider.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/doesnt-update-cluster-on-bottom-level.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/drag-with-spiderfying.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/remove-add-clustering.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/remove-when-spiderfied.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/removelayer-after-remove-from-map.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/setView-doesnt-remove.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/zoomtoshowlayer-doesnt-need-to-zoom.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/old-bugs/zoomtoshowlayer-doesnt-zoom-if-centered-on.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/realworld.10000.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/realworld.388.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/realworld.50000.1.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/realworld.50000.2.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/remove-geoJSON-when-spiderfied.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/example/screen.css
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/package.json
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/after.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/expect.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/index.html
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/karma.conf.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/sinon.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/AddLayer.MultipleSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/AddLayer.SingleSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/AddLayersSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/ChildChangingIconSupportSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/CircleMarkerSupportSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/CircleSupportSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/DistanceGridSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/LeafletSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/NonPointSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/PaneSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/QuickHullSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/RefreshSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/RememberOpacity.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/RemoveLayerSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/SpecHelper.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/animateOptionSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/clearLayersSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/disableClusteringAtZoomSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/eachLayerSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/eventsSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/getBoundsSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/getLayersSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/getVisibleParentSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/markerMoveSupportSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/nonIntegerZoomSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/onAddSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/onRemoveSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/removeLayersSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/removeOutsideVisibleBoundsSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/singleMarkerModeSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/spiderfySpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/supportNegativeZoomSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/unspiderfySpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/spec/suites/zoomAnimationSpec.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/DistanceGrid.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/MarkerCluster.QuickHull.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/MarkerCluster.Spiderfier.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/MarkerCluster.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/MarkerClusterGroup.Refresh.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/MarkerClusterGroup.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/MarkerOpacity.js
- src/main/resources/leafletmap/Leaflet.markercluster-1.4.1/src/index.js
- src/main/resources/leafletmap/leafletmap.html