From 842d780d887dd1d59de8e52df2f379184ac1d1c3 Mon Sep 17 00:00:00 2001
From: Jonas Heinrich <onny@project-insanity.org>
Date: Sun, 21 Jan 2018 18:52:15 +0100
Subject: [PATCH] added custom geojson file for museum building

---
 js/map.js | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/js/map.js b/js/map.js
index 4a00961..5e607ff 100644
--- a/js/map.js
+++ b/js/map.js
@@ -107,4 +107,19 @@ map.on('load', function() {
     }
   }, labelLayerId);
 
+  map.addLayer({
+    'id': 'room-extrusion',
+    'type': 'fill-extrusion',
+    'source': {
+        'type': 'geojson',
+        'data': 'geojson/museum.geojson'
+    },
+    'paint': {
+        'fill-extrusion-color': ['get', 'color'],
+        'fill-extrusion-height': ['get', 'height'],
+        'fill-extrusion-base': ['get', 'base_height'],
+        'fill-extrusion-opacity': 0.5
+    }
+  });
+
 });
-- 
GitLab