From f9313b94ef7fbe92a6c6d28ff0e1ff13b314c21a Mon Sep 17 00:00:00 2001 From: Bertil Chapuis Date: Thu, 9 Nov 2023 23:29:51 +0100 Subject: [PATCH] Improve building style --- .run/basemap-dev.run.xml | 7 ++++++- .../org/apache/baremaps/server/TileResource.java | 5 +++++ basemap/layers/building/extrusion.js | 14 +++++++------- basemap/layers/building/shape.js | 7 +++++++ basemap/layers/building/tileset.js | 4 ++-- basemap/tileset.js | 2 +- 6 files changed, 28 insertions(+), 11 deletions(-) diff --git a/.run/basemap-dev.run.xml b/.run/basemap-dev.run.xml index 4b61bfcdb..af9438a44 100644 --- a/.run/basemap-dev.run.xml +++ b/.run/basemap-dev.run.xml @@ -2,8 +2,13 @@