<commit_before><html>
	<head>
		<meta charset="utf-8" />
		<link rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.2/leaflet.css" />
		<link rel="stylesheet" href="popup.css" />
		<link rel="stylesheet" href="filters.css" />
		<script src="http://cdn.leafletjs.com/leaflet-0.7.2/leaflet.js"></script>
		<style>
			* { 
				box-sizing: border-box;
				margin: 0 0;
			}

			#map {
				width: 100%;
				height: 100%;
				display: block;
			}

			#filter {
				position: absolute;
				right: 20px;
				top: 20px;
				display: block;
				z-index: 2000;
				background: white;
			}

		</style>
		<script src="//ajax.googleapis.com/ajax/libs/jquery/1.11.0/jquery.min.js"></script>
		<script src="js/underscore.js"></script>

		<script type="text/html" id="tooltip_tmpl">
			<div class="description"><%= description %></div>
			<div class="title"><%= title %></div>
			<ul class="containers">
				<li class="container-brown <% if (braun === "") { %> hidden<% }%>">
					<span><%= braun %></span>
				</li>
				<li class="container-green <% if (gruen === "") { %> hidden<% }%>">
					<span><%= gruen %></span>
				</li>
				<li class="container-white <% if (weiss === "") { %> hidden<% }%>">
					<span><%= weiss %></span>
				</li>
				<li class="container-colored <% if (bunt === "") { %> hidden<% }%>">
					<span><%= bunt %></span>
				</li>
			</ul>
			<div class="supplier">Aufsteller: <%= aufsteller %></div>
		</script>

	</head>
	<body>
		<div id=map>
		</div>
		<div id="filter" class="filters">
			<h2>Filter</h2>
			<input type="checkbox" id="brown" onclick="filterPoints()"/> <label for="brown"> Braunglas </label>
			<input type="checkbox" id="white" onclick="filterPoints()"/> <label for="white"> Weißglas </label>
			<input type="checkbox" id="green" onclick="filterPoints()"/> <label for="green"> Grünglas </label>
			PLZ: <select id="plz" onchange="filterPoints()">
				<option value="-1">-----</option>
				<option value="10585">10585</option>
				<option value="10587">10587</option>
				<option value="10589">10589</option>
				<option value="10625">10625</option>
				<option value="10627">10627</option>
				<option value="10629">10629</option>
				<option value="10707">10707</option>
				<option value="10709">10709</option>
				<option value="10711">10711</option>
				<option value="10713">10713</option>
				<option value="10715">10715</option>
				<option value="10717">10717</option>
				<option value="10719">10719</option>
				<option value="10779">10779</option>
				<option value="10789">10789</option>
				<option value="10825">10825</option>
				<option value="13627">13627</option>
				<option value="13629">13629</option>
				<option value="14050">14050</option>
				<option value="14052">14052</option>
				<option value="14055">14055</option>
				<option value="14057">14057</option>
				<option value="14059">14059</option>
				<option value="14193">14193</option>
				<option value="14195">14195</option>
				<option value="14197">14197</option>
				<option value="14199">14199</option>
			</select>
			<a href="#" onclick="filterPoints()">Filter</a>

		</div>

		<script>
			// create a map in the "map" div, set the view to a given place and zoom
			var map = L.map('map').setView([52.505, 13.25], 12);

			// add an OpenStreetMap tile layer
			L.tileLayer('http://{s}.tile.osm.org/{z}/{x}/{y}.png', {
				attribution: '&copy; <a href="http://osm.org/copyright">OpenStreetMap</a> contributors'
			}).addTo(map);
			var containers;
			$.getJSON("/all.gjson", function(data) {
				containers = data;
			})
			.done(function(){
				add_containers(containers);
			});


			function filterPoints(){
				var filterBrown = $("#brown").prop("checked");
				var filterWhite = $("#white").prop("checked");
				var filterGreen = $("#green").prop("checked");
				var colorFilters = {"braun": filterBrown, "weiss": filterWhite, "gruen": filterGreen};
				var filterPlz = $("#plz").val();

				var filteredContainers = [];
				$.each(containers.features, function(index, container) {
					if (filterPlz === "-1" || container.properties.plz === filterPlz){
						filteredContainers.push(container)
					}
				});

				$.each(filteredContainers, function(index, container) {
					if (container !== undefined){
						for (color in colorFilters){
							if (colorFilters[color] && container.properties[color] === ""){
								filteredContainers.splice(index, 1);
							}
						}
					}
				});

				add_containers(filteredContainers);
			}

			var allContainers = [];
			function add_containers(data){
				map.removeLayer(allContainers);
				allContainers = L.geoJson(data, {
					onEachFeature: function (feature, layer) {
						layer.bindPopup(data2html(feature));
						}

					}).addTo(map);
				}

				var data2html = function(item){
					// flatten the json
					var content = _.extend(item.properties,item.properties.data);
					delete content.data;

					var template = _.template($("#tooltip_tmpl").html());
					return template(content);  
				}

			</script>

		</body>
	</html>
<commit_msg>Remove unused 'Filter' link.<commit_after><html>
	<head>
		<meta charset="utf-8" />
		<link rel="stylesheet" href="http://cdn.leafletjs.com/leaflet-0.7.2/leaflet.css" />
		<link rel="stylesheet" href="popup.css" />
		<link rel="stylesheet" href="filters.css" />
		<script src="http://cdn.leafletjs.com/leaflet-0.7.2/leaflet.js"></script>
		<style>
			* {
				box-sizing: border-box;
				margin: 0 0;
			}

			#map {
				width: 100%;
				height: 100%;
				display: block;
			}

			#filter {
				position: absolute;
				right: 20px;
				top: 20px;
				display: block;
				z-index: 2000;
				background: white;
			}

		</style>
		<script src="//ajax.googleapis.com/ajax/libs/jquery/1.11.0/jquery.min.js"></script>
		<script src="js/underscore.js"></script>

		<script type="text/html" id="tooltip_tmpl">
			<div class="description"><%= description %></div>
			<div class="title"><%= title %></div>
			<ul class="containers">
				<li class="container-brown <% if (braun === "") { %> hidden<% }%>">
					<span><%= braun %></span>
				</li>
				<li class="container-green <% if (gruen === "") { %> hidden<% }%>">
					<span><%= gruen %></span>
				</li>
				<li class="container-white <% if (weiss === "") { %> hidden<% }%>">
					<span><%= weiss %></span>
				</li>
				<li class="container-colored <% if (bunt === "") { %> hidden<% }%>">
					<span><%= bunt %></span>
				</li>
			</ul>
			<div class="supplier">Aufsteller: <%= aufsteller %></div>
		</script>

	</head>
	<body>
		<div id=map>
		</div>
		<div id="filter" class="filters">
			<h2>Filter</h2>
			<input type="checkbox" id="brown" onclick="filterPoints()"/> <label for="brown"> Braunglas </label>
			<input type="checkbox" id="white" onclick="filterPoints()"/> <label for="white"> Weißglas </label>
			<input type="checkbox" id="green" onclick="filterPoints()"/> <label for="green"> Grünglas </label>
			PLZ: <select id="plz" onchange="filterPoints()">
				<option value="-1">-----</option>
				<option value="10585">10585</option>
				<option value="10587">10587</option>
				<option value="10589">10589</option>
				<option value="10625">10625</option>
				<option value="10627">10627</option>
				<option value="10629">10629</option>
				<option value="10707">10707</option>
				<option value="10709">10709</option>
				<option value="10711">10711</option>
				<option value="10713">10713</option>
				<option value="10715">10715</option>
				<option value="10717">10717</option>
				<option value="10719">10719</option>
				<option value="10779">10779</option>
				<option value="10789">10789</option>
				<option value="10825">10825</option>
				<option value="13627">13627</option>
				<option value="13629">13629</option>
				<option value="14050">14050</option>
				<option value="14052">14052</option>
				<option value="14055">14055</option>
				<option value="14057">14057</option>
				<option value="14059">14059</option>
				<option value="14193">14193</option>
				<option value="14195">14195</option>
				<option value="14197">14197</option>
				<option value="14199">14199</option>
			</select>

		</div>

		<script>
			// create a map in the "map" div, set the view to a given place and zoom
			var map = L.map('map').setView([52.505, 13.25], 12);

			// add an OpenStreetMap tile layer
			L.tileLayer('http://{s}.tile.osm.org/{z}/{x}/{y}.png', {
				attribution: '&copy; <a href="http://osm.org/copyright">OpenStreetMap</a> contributors'
			}).addTo(map);
			var containers;
			$.getJSON("/all.gjson", function(data) {
				containers = data;
			})
			.done(function(){
				add_containers(containers);
			});


			function filterPoints(){
				var filterBrown = $("#brown").prop("checked");
				var filterWhite = $("#white").prop("checked");
				var filterGreen = $("#green").prop("checked");
				var colorFilters = {"braun": filterBrown, "weiss": filterWhite, "gruen": filterGreen};
				var filterPlz = $("#plz").val();

				var filteredContainers = [];
				$.each(containers.features, function(index, container) {
					if (filterPlz === "-1" || container.properties.plz === filterPlz){
						filteredContainers.push(container)
					}
				});

				$.each(filteredContainers, function(index, container) {
					if (container !== undefined){
						for (color in colorFilters){
							if (colorFilters[color] && container.properties[color] === ""){
								filteredContainers.splice(index, 1);
							}
						}
					}
				});

				add_containers(filteredContainers);
			}

			var allContainers = [];
			function add_containers(data){
				map.removeLayer(allContainers);
				allContainers = L.geoJson(data, {
					onEachFeature: function (feature, layer) {
						layer.bindPopup(data2html(feature));
						}

					}).addTo(map);
				}

				var data2html = function(item){
					// flatten the json
					var content = _.extend(item.properties,item.properties.data);
					delete content.data;

					var template = _.template($("#tooltip_tmpl").html());
					return template(content);
				}

			</script>

		</body>
	</html>

{'fraction_non_alphanumeric': 0.20442981143370248, 'fraction_numerical': 0.06285543250523795, 'mean_word_length': 3.481001341081806, 'pattern_counts': {'":': 6, '<': 277, '<?xml version=': 0, '>': 277, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1135921', 'n_tokens_mistral': 4631, 'n_tokens_neox': 3389, 'n_words': 644}