From 410a88c674e7f3752f24288ce87176e7280d27b9 Mon Sep 17 00:00:00 2001
From: ahocevar <andreas.hocevar@gmail.com>
Date: Wed, 20 Mar 2013 10:30:05 +0100
Subject: [PATCH] Thicker strokes make it easier to select line segments

---
 examples/mobile-drawing.js | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/examples/mobile-drawing.js b/examples/mobile-drawing.js
index d598ff0a17..bac903c667 100644
--- a/examples/mobile-drawing.js
+++ b/examples/mobile-drawing.js
@@ -7,10 +7,12 @@ function init() {
                 pointRadius: 16
             }, OpenLayers.Feature.Vector.style.temporary),
             'default': OpenLayers.Util.applyDefaults({
-                pointRadius: 16
+                pointRadius: 16,
+                strokeWidth: 3,
             }, OpenLayers.Feature.Vector.style['default']),
             select: OpenLayers.Util.applyDefaults({
-                pointRadius: 16
+                pointRadius: 16,
+                strokeWidth: 3
             }, OpenLayers.Feature.Vector.style.select)
         })
     });