From 20d39de5e834bbff7a891c1d131691aae5c00797 Mon Sep 17 00:00:00 2001
From: Jacek Kowalski <Jacek@jacekk.info>
Date: Sun, 07 Jul 2019 19:53:13 +0000
Subject: [PATCH] Fix icons styling, remove redundant CSS entries
---
map.js | 8 ++++----
1 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/map.js b/map.js
index 484637b..979cdd9 100644
--- a/map.js
+++ b/map.js
@@ -675,7 +675,7 @@
})}, 10);
};
showOnMapElement.addEventListener('click', showOnMapFunction);
- showOnMapElement.className = 'icon-pin addon-icon';
+ showOnMapElement.className = 'icon icon-pin';
showOnMapElement.title = lang.show_on_map;
if(additional) {
@@ -911,8 +911,6 @@
vehicles_last_update[type] = 0;
});
- ol.style.IconImageCache.shared.setSize(512);
-
geolocation_feature = new ol.Feature({
name: '',
style: new ol.style.Style({
@@ -966,7 +964,9 @@
var layers = [
new ol.layer.Tile({
- source: new ol.source.OSM(),
+ source: new ol.source.OSM({
+ url: 'https://tiles.ttss.pl/{z}/{x}/{y}.png',
+ }),
}),
route_layer,
geolocation_layer,
--
Gitblit v1.9.1