From 549cab351c459f8f3b4ab23c81f841c9c315ce45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Laura=20Kl=C3=BCnder?= <laura@codingcatgirl.de>
Date: Sat, 5 Aug 2017 11:58:54 +0200
Subject: [PATCH] draw points as smaller circles

---
 src/c3nav/editor/static/editor/js/editor.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/c3nav/editor/static/editor/js/editor.js b/src/c3nav/editor/static/editor/js/editor.js
index 33b254b8..3dd488b9 100644
--- a/src/c3nav/editor/static/editor/js/editor.js
+++ b/src/c3nav/editor/static/editor/js/editor.js
@@ -462,7 +462,7 @@ editor = {
         return style;
     },
     _point_to_layer: function (feature, latlng) {
-        return L.circle(latlng, {radius: 0.5});
+        return L.circle(latlng, {radius: 0.3});
     },
     _get_geometry_style: function (feature) {
         // style callback for GeoJSON loader
@@ -776,7 +776,7 @@ editor = {
             var layer = e.layer;
             if (e.layer._latlng !== undefined) {
                 layer = L.circle(e.layer._latlng, e.layer.options);
-                layer.setRadius(0.5);
+                layer.setRadius(0.3);
                 e.layer.remove();
             }
             editor._editing_layer = layer;