diff options
Diffstat (limited to 'extlib/leaflet/build')
| -rw-r--r-- | extlib/leaflet/build/Makefile | 65 | ||||
| -rw-r--r-- | extlib/leaflet/build/build.bat | 65 | ||||
| -rw-r--r-- | extlib/leaflet/build/build.html | 208 | ||||
| -rw-r--r-- | extlib/leaflet/build/deps.js | 211 |
4 files changed, 0 insertions, 549 deletions
diff --git a/extlib/leaflet/build/Makefile b/extlib/leaflet/build/Makefile deleted file mode 100644 index 22d65483..00000000 --- a/extlib/leaflet/build/Makefile +++ /dev/null @@ -1,65 +0,0 @@ -../dist/leaflet.js: Makefile
- java -jar ../lib/closure-compiler/compiler.jar \
- --js ../src/Leaflet.js \
- --js ../src/core/Util.js \
- --js ../src/core/Class.js \
- --js ../src/core/Events.js \
- --js ../src/core/Browser.js \
- --js ../src/geometry/Point.js \
- --js ../src/geometry/Bounds.js \
- --js ../src/geometry/Transformation.js \
- --js ../src/geometry/LineUtil.js \
- --js ../src/geometry/PolyUtil.js \
- --js ../src/dom/DomEvent.js \
- --js ../src/dom/DomEvent.DoubleTap.js \
- --js ../src/dom/DomUtil.js \
- --js ../src/dom/Draggable.js \
- --js ../src/dom/transition/Transition.js \
- --js ../src/dom/transition/Transition.Native.js \
- --js ../src/dom/transition/Transition.Timer.js \
- --js ../src/geo/LatLng.js \
- --js ../src/geo/LatLngBounds.js \
- --js ../src/geo/projection/Projection.js \
- --js ../src/geo/projection/Projection.SphericalMercator.js \
- --js ../src/geo/projection/Projection.LonLat.js \
- --js ../src/geo/projection/Projection.Mercator.js \
- --js ../src/geo/crs/CRS.js \
- --js ../src/geo/crs/CRS.EPSG3857.js \
- --js ../src/geo/crs/CRS.EPSG4326.js \
- --js ../src/geo/crs/CRS.EPSG3395.js \
- --js ../src/layer/LayerGroup.js \
- --js ../src/layer/FeatureGroup.js \
- --js ../src/layer/tile/TileLayer.js \
- --js ../src/layer/tile/TileLayer.WMS.js \
- --js ../src/layer/tile/TileLayer.Canvas.js \
- --js ../src/layer/ImageOverlay.js \
- --js ../src/layer/Popup.js \
- --js ../src/layer/marker/Icon.js \
- --js ../src/layer/marker/Marker.js \
- --js ../src/layer/marker/Marker.Popup.js \
- --js ../src/layer/vector/Path.js \
- --js ../src/layer/vector/Path.VML.js \
- --js ../src/layer/vector/Path.Popup.js \
- --js ../src/layer/vector/Polyline.js \
- --js ../src/layer/vector/Polygon.js \
- --js ../src/layer/vector/MultiPoly.js \
- --js ../src/layer/vector/Circle.js \
- --js ../src/layer/vector/CircleMarker.js \
- --js ../src/layer/GeoJSON.js \
- --js ../src/handler/Handler.js \
- --js ../src/handler/MapDrag.js \
- --js ../src/handler/TouchZoom.js \
- --js ../src/handler/ScrollWheelZoom.js \
- --js ../src/handler/DoubleClickZoom.js \
- --js ../src/handler/ShiftDragZoom.js \
- --js ../src/handler/MarkerDrag.js \
- --js ../src/control/Control.js \
- --js ../src/control/Control.Zoom.js \
- --js ../src/control/Control.Attribution.js \
- --js ../src/map/Map.js \
- --js ../src/map/ext/Map.Geolocation.js \
- --js ../src/map/ext/Map.Popup.js \
- --js ../src/map/ext/Map.PanAnimation.js \
- --js ../src/map/ext/Map.ZoomAnimation.js \
- --js ../src/map/ext/Map.Control.js \
- --js_output_file ../dist/leaflet.js
diff --git a/extlib/leaflet/build/build.bat b/extlib/leaflet/build/build.bat deleted file mode 100644 index a09d2259..00000000 --- a/extlib/leaflet/build/build.bat +++ /dev/null @@ -1,65 +0,0 @@ -@echo off
-java -jar ../lib/closure-compiler/compiler.jar ^
---js ../src/Leaflet.js ^
---js ../src/core/Util.js ^
---js ../src/core/Class.js ^
---js ../src/core/Events.js ^
---js ../src/core/Browser.js ^
---js ../src/geometry/Point.js ^
---js ../src/geometry/Bounds.js ^
---js ../src/geometry/Transformation.js ^
---js ../src/geometry/LineUtil.js ^
---js ../src/geometry/PolyUtil.js ^
---js ../src/dom/DomEvent.js ^
---js ../src/dom/DomEvent.DoubleTap.js ^
---js ../src/dom/DomUtil.js ^
---js ../src/dom/Draggable.js ^
---js ../src/dom/transition/Transition.js ^
---js ../src/dom/transition/Transition.Native.js ^
---js ../src/dom/transition/Transition.Timer.js ^
---js ../src/geo/LatLng.js ^
---js ../src/geo/LatLngBounds.js ^
---js ../src/geo/projection/Projection.js ^
---js ../src/geo/projection/Projection.SphericalMercator.js ^
---js ../src/geo/projection/Projection.LonLat.js ^
---js ../src/geo/projection/Projection.Mercator.js ^
---js ../src/geo/crs/CRS.js ^
---js ../src/geo/crs/CRS.EPSG3857.js ^
---js ../src/geo/crs/CRS.EPSG4326.js ^
---js ../src/geo/crs/CRS.EPSG3395.js ^
---js ../src/layer/LayerGroup.js ^
---js ../src/layer/FeatureGroup.js ^
---js ../src/layer/tile/TileLayer.js ^
---js ../src/layer/tile/TileLayer.WMS.js ^
---js ../src/layer/tile/TileLayer.Canvas.js ^
---js ../src/layer/ImageOverlay.js ^
---js ../src/layer/Popup.js ^
---js ../src/layer/marker/Icon.js ^
---js ../src/layer/marker/Marker.js ^
---js ../src/layer/marker/Marker.Popup.js ^
---js ../src/layer/vector/Path.js ^
---js ../src/layer/vector/Path.VML.js ^
---js ../src/layer/vector/Path.Popup.js ^
---js ../src/layer/vector/Polyline.js ^
---js ../src/layer/vector/Polygon.js ^
---js ../src/layer/vector/MultiPoly.js ^
---js ../src/layer/vector/Circle.js ^
---js ../src/layer/vector/CircleMarker.js ^
---js ../src/layer/GeoJSON.js ^
---js ../src/handler/Handler.js ^
---js ../src/handler/MapDrag.js ^
---js ../src/handler/TouchZoom.js ^
---js ../src/handler/ScrollWheelZoom.js ^
---js ../src/handler/DoubleClickZoom.js ^
---js ../src/handler/ShiftDragZoom.js ^
---js ../src/handler/MarkerDrag.js ^
---js ../src/control/Control.js ^
---js ../src/control/Control.Zoom.js ^
---js ../src/control/Control.Attribution.js ^
---js ../src/map/Map.js ^
---js ../src/map/ext/Map.Geolocation.js ^
---js ../src/map/ext/Map.Popup.js ^
---js ../src/map/ext/Map.PanAnimation.js ^
---js ../src/map/ext/Map.ZoomAnimation.js ^
---js ../src/map/ext/Map.Control.js ^
---js_output_file ../dist/leaflet.js
\ No newline at end of file diff --git a/extlib/leaflet/build/build.html b/extlib/leaflet/build/build.html deleted file mode 100644 index c60e5f31..00000000 --- a/extlib/leaflet/build/build.html +++ /dev/null @@ -1,208 +0,0 @@ -<!DOCTYPE html>
-<html>
-<head>
- <title>Leaflet Build Helper</title>
-
- <script type="text/javascript" src="deps.js"></script>
-
- <style type="text/css">
- body {
- font: 12px/1.4 Verdana, sans-serif;
- text-align: center;
- padding: 2em 0;
- }
- #container {
- text-align: left;
- margin: 0 auto;
- width: 600px;
- }
- #deplist {
- list-style: none;
- padding: 0;
- }
- #deplist li {
- padding-top: 10px;
- padding-bottom: 10px;
- border-top: 1px solid #eee;
- }
- #deplist li.heading {
- border: none;
- background: #eee;
- padding: 5px 10px;
- margin-top: 10px;
- }
- #deplist input {
- float: left;
- margin-right: 5px;
- display: inline;
- }
- #deplist label {
- float: left;
- width: 190px;
- font-weight: bold;
- }
- #deplist div {
- display: table-cell;
- height: 1%;
- }
- #deplist .desc {
- }
-
- #deplist .deps {
- color: #777;
- }
-
- #command {
- width: 100%;
- }
- </style>
-</head>
-<body>
- <div id="container">
- <h1>Leaflet Build Helper</h1>
-
- <p>
- <a id="select-all" href="#all">Select All</a> |
- <a id="deselect-all" href="#none">Deselect All</a>
- </p>
-
- <ul id="deplist"></ul>
-
- <p>
- Run this command in the build directory:<br />
- <input type="text" id="command" />
- </p>
- </div>
-
- <script type="text/javascript">
- var deplist = document.getElementById('deplist'),
- commandInput = document.getElementById('command');
-
- document.getElementById('select-all').onclick = function() {
- var checks = deplist.getElementsByTagName('input');
- for (var i = 0; i < checks.length; i++) {
- checks[i].checked = true;
- }
- updateCommand();
- return false;
- };
-
- document.getElementById('deselect-all').onclick = function() {
- var checks = deplist.getElementsByTagName('input');
- for (var i = 0; i < checks.length; i++) {
- if (!checks[i].disabled) {
- checks[i].checked = false;
- }
- }
- updateCommand();
- return false;
- };
-
- function updateCommand() {
- var files = {};
- var checks = deplist.getElementsByTagName('input');
- for (var i = 0; i < checks.length; i++) {
- if (checks[i].checked) {
- var srcs = deps[checks[i].id].src;
- for (var j = 0; j < srcs.length; j++) {
- files[srcs[j]] = true;
- }
- }
- }
-
- var command = 'java -jar ../lib/closure-compiler/compiler.jar ';
- for (var src in files) {
- command += '--js ../src/' + src + ' ';
- }
- command += '--js_output_file ../dist/leaflet-custom.js';
-
- commandInput.value = command;
- }
-
- commandInput.onclick = function() {
- commandInput.focus();
- commandInput.select();
- };
-
- function onCheckboxChange() {
- if (this.checked) {
- var depDeps = deps[this.id].deps;
- if (!depDeps) { return; }
- for (var i = 0; i < depDeps.length; i++) {
- var check = document.getElementById(depDeps[i]);
- if (!check.checked) {
- check.checked = true;
- check.onchange();
- }
- }
- } else {
- var checks = deplist.getElementsByTagName('input');
- for (var i = 0; i < checks.length; i++) {
- var dep = deps[checks[i].id];
- if (!dep.deps) { continue; }
- for (var j = 0; j < dep.deps.length; j++) {
- if (dep.deps[j] == this.id) {
- if (checks[i].checked) {
- checks[i].checked = false;
- checks[i].onchange();
- }
- }
- }
- }
- }
- updateCommand();
- }
-
- for (var name in deps) {
- var li = document.createElement('li');
-
- if (deps[name].heading) {
- var heading = document.createElement('li');
- heading.className = 'heading';
- heading.appendChild(document.createTextNode(deps[name].heading));
- deplist.appendChild(heading);
- }
-
- var div = document.createElement('div');
-
- var label = document.createElement('label');
-
- var check = document.createElement('input');
- check.type = 'checkbox';
- check.id = name;
- label.appendChild(check);
- check.onchange = onCheckboxChange;
-
- if (name == 'Core') {
- check.checked = true;
- check.disabled = true;
- }
-
- label.appendChild(document.createTextNode(name));
- label.htmlFor = name;
-
- li.appendChild(label);
-
- var desc = document.createElement('span');
- desc.className = 'desc';
- desc.appendChild(document.createTextNode(deps[name].desc));
-
- var depText = deps[name].deps && deps[name].deps.join(', ');
- if (depText) {
- var depspan = document.createElement('span');
- depspan.className = 'deps';
- depspan.appendChild(document.createTextNode('Deps: ' + depText));
- }
-
- div.appendChild(desc);
- div.appendChild(document.createElement('br'));
- if (depText) { div.appendChild(depspan); }
-
- li.appendChild(div);
-
- deplist.appendChild(li);
- }
- updateCommand();
- </script>
-</body>
-</html>
\ No newline at end of file diff --git a/extlib/leaflet/build/deps.js b/extlib/leaflet/build/deps.js deleted file mode 100644 index 42735648..00000000 --- a/extlib/leaflet/build/deps.js +++ /dev/null @@ -1,211 +0,0 @@ -var deps = {
- Core: {
- src: ['Leaflet.js',
- 'core/Browser.js',
- 'core/Class.js',
- 'core/Events.js',
- 'core/Util.js',
- 'dom/DomUtil.js',
- 'geo/LatLng.js',
- 'geo/LatLngBounds.js',
- 'geo/projection/Projection.js',
- 'geo/projection/Projection.SphericalMercator.js',
- 'geo/projection/Projection.LonLat.js',
- 'geo/crs/CRS.js',
- 'geo/crs/CRS.EPSG3857.js',
- 'geo/crs/CRS.EPSG4326.js',
- 'geometry/Bounds.js',
- 'geometry/Point.js',
- 'geometry/Transformation.js',
- 'map/Map.js'],
- desc: 'The core of the library, including OOP, events, DOM facilities, basic units, projections (EPSG:3857 and EPSG:4326) and the base Map class.'
- },
-
-
- EPSG3395: {
- src: ['geo/projection/Projection.Mercator.js',
- 'geo/crs/CRS.EPSG3395.js'],
- desc: 'EPSG:3395 projection (used by some map providers).',
- heading: 'Additional projections'
- },
-
- TileLayer: {
- src: ['layer/tile/TileLayer.js'],
- desc: 'The base class for displaying tile layers on the map.',
- heading: 'Layers'
- },
-
- TileLayerWMS: {
- src: ['layer/tile/TileLayer.WMS.js'],
- desc: 'WMS tile layer.',
- deps: ['TileLayer']
- },
-
- TileLayerCanvas: {
- src: ['layer/tile/TileLayer.Canvas.js'],
- desc: 'Tile layer made from canvases (for custom drawing purposes).',
- deps: ['TileLayer']
- },
-
- ImageOverlay: {
- src: ['layer/ImageOverlay.js'],
- desc: 'Used to display an image over a particular rectangular area of the map.'
- },
-
- Marker: {
- src: ['layer/marker/Icon.js', 'layer/marker/Marker.js'],
- desc: 'Markers to put on the map.'
- },
-
- Popup: {
- src: ['layer/Popup.js', 'layer/marker/Marker.Popup.js', 'map/ext/Map.Popup.js'],
- deps: ['Marker'],
- desc: 'Used to display the map popup (used mostly for binding HTML data to markers and paths on click).'
- },
-
- LayerGroup: {
- src: ['layer/LayerGroup.js'],
- desc: 'Allows grouping several layers to handle them as one.'
- },
-
- FeatureGroup: {
- src: ['layer/FeatureGroup.js'],
- deps: ['LayerGroup', 'Popup'],
- desc: 'Extends LayerGroup with mouse events and bindPopup method shared between layers.'
- },
-
-
- Path: {
- src: ['layer/vector/Path.js', 'layer/vector/Path.Popup.js'],
- desc: 'Vector rendering core (SVG-powered), enables overlaying the map with SVG paths.',
- heading: 'Vector layers'
- },
-
- PathVML: {
- src: ['layer/vector/Path.VML.js'],
- desc: 'VML fallback for vector rendering core (IE 6-8).'
- },
-
- Polyline: {
- src: ['geometry/LineUtil.js', 'layer/vector/Polyline.js'],
- deps: ['Path'],
- desc: 'Polyline overlays.'
- },
-
- Polygon: {
- src: ['geometry/PolyUtil.js', 'layer/vector/Polygon.js'],
- deps: ['Polyline'],
- desc: 'Polygon overlays.'
- },
-
- MultiPoly: {
- src: ['layer/vector/MultiPoly.js'],
- deps: ['FeatureGroup', 'Polyline', 'Polygon'],
- desc: 'MultiPolygon and MultyPolyline layers.'
- },
-
- Circle: {
- src: ['layer/vector/Circle.js'],
- deps: ['Path'],
- desc: 'Circle overlays (with radius in meters).'
- },
-
- CircleMarker: {
- src: ['layer/vector/CircleMarker.js'],
- deps: ['Circle'],
- desc: 'Circle overlays with a constant pixel radius.'
- },
-
- GeoJSON: {
- src: ['layer/GeoJSON.js'],
- deps: ['Marker', 'MultiPoly', 'FeatureGroup'],
- desc: 'GeoJSON layer, parses the data and adds corresponding layers above.'
- },
-
-
- MapDrag: {
- src: ['dom/DomEvent.js',
- 'dom/Draggable.js',
- 'handler/Handler.js',
- 'handler/MapDrag.js'],
- desc: 'Makes the map draggable (by mouse or touch).',
- heading: 'Interaction'
- },
-
- MouseZoom: {
- src: ['dom/DomEvent.js',
- 'handler/Handler.js',
- 'handler/DoubleClickZoom.js',
- 'handler/ScrollWheelZoom.js'],
- desc: 'Scroll wheel zoom and double click zoom on the map.'
- },
-
- TouchZoom: {
- src: ['dom/DomEvent.js',
- 'dom/DomEvent.DoubleTap.js',
- 'handler/Handler.js',
- 'handler/TouchZoom.js'],
- deps: ['MapAnimationZoom'],
- desc: 'Enables smooth touch zooming on iOS and double tap on iOS/Android.'
- },
-
- ShiftDragZoom: {
- src: ['handler/ShiftDragZoom.js'],
- desc: 'Enables zooming to bounding box by shift-dragging the map.'
- },
-
- MarkerDrag: {
- src: ['handler/MarkerDrag.js'],
- desc: 'Makes markers draggable (by mouse or touch).'
- },
-
-
- ControlZoom: {
- src: ['control/Control.js',
- 'map/ext/Map.Control.js',
- 'control/Control.Zoom.js'],
- heading: 'Controls',
- desc: 'Basic zoom control with two buttons (zoom in / zoom out).'
- },
-
- ControlZoom: {
- src: ['control/Control.js',
- 'map/ext/Map.Control.js',
- 'control/Control.Attribution.js'],
- desc: 'Attribution control.'
- },
-
-
- MapAnimationNative: {
- src: ['dom/DomEvent.js',
- 'dom/transition/Transition.js',
- 'dom/transition/Transition.Native.js'],
- desc: 'Animation core that uses CSS3 Transitions (for powering pan & zoom animations). Works on mobile webkit-powered browsers and some modern desktop browsers.',
- heading: 'Visual effects'
- },
-
- MapAnimationFallback: {
- src: ['dom/transition/Transition.Timer.js'],
- deps: ['MapAnimationNative'],
- desc: 'Timer-based animation fallback for browsers that don\'t support CSS3 transitions.'
- },
-
- MapAnimationPan: {
- src: ['map/ext/Map.PanAnimation.js'],
- deps: ['MapAnimationNative'],
- desc: 'Panning animation. Can use both native and timer-based animation.'
- },
-
- MapAnimationZoom: {
- src: ['map/ext/Map.ZoomAnimation.js'],
- deps: ['MapAnimationPan', 'MapAnimationNative'],
- desc: 'Smooth zooming animation. So far it works only on browsers that support CSS3 Transitions.'
- },
-
-
- MapGeolocation: {
- src: ['map/ext/Map.Geolocation.js'],
- desc: 'Adds Map#locate method and related events to make geolocation easier.',
- heading: 'Misc'
- }
-};
\ No newline at end of file |