From f7860cab7ceb252d864bfad92b712fcb1bd239bb Mon Sep 17 00:00:00 2001
From: gorhill <rhill@raymondhill.net>
Date: Mon, 15 Dec 2014 07:19:32 -0500
Subject: [PATCH] this fixes #343

---
 src/js/element-picker.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/js/element-picker.js b/src/js/element-picker.js
index 940a5afe1..b0331d1a5 100644
--- a/src/js/element-picker.js
+++ b/src/js/element-picker.js
@@ -715,6 +715,10 @@ var startPicker = function(details) {
         '#µBlock ul, #µBlock li, #µBlock div {',
             'display: block;',
         '}',
+        '#µBlock *::selection {',
+            'background-color: Highlight;',
+            'color: HighlightText;',
+        '}',
         '#µBlock button {',
             'border: 1px solid #aaa !important;',
             'padding: 6px 8px 4px 8px;',