<commit_before>var map;
$( document ).ready(function() {

	// create a map in the "map" div, set the view to a given place and zoom
	map = L.map('map').setView([52.516667, 13.383333], 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("data/all.gjson", function(data) {
	containers = data;
})
.done(function(){
	add_containers(containers);
});


// Districts of the city
var ortsteile;
$.getJSON("data/berlin-districts.geojson", function(data) {
	ortsteile = data;
})
.done(function(){
	L.geoJson(ortsteile, { style: {
		fillColor: "hotPink"
	}}).addTo(map);
});


var filterBySupplier = function(container){
	var filterSupplier = $("#supplier").val();
	if (filterSupplier === ""){
		return true;
	}
	return container.properties.aufsteller === filterSupplier;
}

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)
		}
	});<commit_msg>Adapt color for district stroke from Leaflet markers.<commit_after>var map;
$( document ).ready(function() {

	// create a map in the "map" div, set the view to a given place and zoom
	map = L.map('map').setView([52.516667, 13.383333], 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("data/all.gjson", function(data) {
	containers = data;
})
.done(function(){
	add_containers(containers);
});


// Districts of the city
var ortsteile;
$.getJSON("data/berlin-districts.geojson", function(data) {
	ortsteile = data;
})
.done(function(){
	L.geoJson(ortsteile, { style: {
		fillColor: "hotPink",
		color: "#2E85CB"
	}}).addTo(map);
});


var filterBySupplier = function(container){
	var filterSupplier = $("#supplier").val();
	if (filterSupplier === ""){
		return true;
	}
	return container.properties.aufsteller === filterSupplier;
}

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)
		}
	});
{'fraction_non_alphanumeric': 0.19838601210490922, 'fraction_numerical': 0.01378614660390047, 'mean_word_length': 5.059063136456212, 'pattern_counts': {'":': 6, '<': 7, '<?xml version=': 0, '>': 7, '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': '3124718', 'n_tokens_mistral': 1080, 'n_tokens_neox': 1009, 'n_words': 221}