From 2b6dbacf539d80c40aad99cd1a16e121314713c3 Mon Sep 17 00:00:00 2001
From: John Firebaugh <john.firebaugh@gmail.com>
Date: Fri, 28 Jun 2013 12:21:52 -0400
Subject: [PATCH] Workaround for FF user-select bug (fixes #1807)

---
 dist/leaflet.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/dist/leaflet.css b/dist/leaflet.css
index aee2bb9f..7ba62817 100644
--- a/dist/leaflet.css
+++ b/dist/leaflet.css
@@ -53,6 +53,10 @@
 	width: 0;
 	height: 0;
 	}
+/* workaround for https://bugzilla.mozilla.org/show_bug.cgi?id=888319 */
+.leaflet-overlay-pane svg {
+	-moz-user-select: none;
+	}
 
 .leaflet-tile-pane    { z-index: 2; }
 .leaflet-objects-pane { z-index: 3; }