Adding previously erroneously gitignored extlib/leaflet/{lib,dist,build}/ files
This commit is contained in:
Joar Wandborg
65
extlib/leaflet/build/Makefile
Normal file
65
extlib/leaflet/build/Makefile
Normal file
@@ -0,0 +1,65 @@
|
||||
../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
|
||||
65
extlib/leaflet/build/build.bat
Normal file
65
extlib/leaflet/build/build.bat
Normal file
@@ -0,0 +1,65 @@
|
||||
@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
|
||||
208
extlib/leaflet/build/build.html
Normal file
208
extlib/leaflet/build/build.html
Normal file
@@ -0,0 +1,208 @@
|
||||
<!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>
|
||||
211
extlib/leaflet/build/deps.js
Normal file
211
extlib/leaflet/build/deps.js
Normal file
@@ -0,0 +1,211 @@
|
||||
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'
|
||||
}
|
||||
};
|
||||
Reference in New Issue
Block a user