From ff1f56e961394a649154d04e0f6e046dd3b72486 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A9d=C3=A9ric=20P=C3=A9ters?= <fpeters@entrouvert.com>
Date: Tue, 17 Jul 2018 12:52:42 +0200
Subject: [PATCH 1/2] select variable names on click (#25322)

---
 gadjo/static/css/gadjo.scss |  4 ++++
 gadjo/static/js/gadjo.js    | 17 +++++++++++++++++
 2 files changed, 21 insertions(+)

diff --git a/gadjo/static/css/gadjo.scss b/gadjo/static/css/gadjo.scss
index 759c6f2..b2ac835 100644
--- a/gadjo/static/css/gadjo.scss
+++ b/gadjo/static/css/gadjo.scss
@@ -1061,6 +1061,10 @@ div.section {
 	}
 }
 
+.varname {
+	color: #444;
+}
+
 @import 'grid';
 @import 'jqueryui';
 @import 'forms';
diff --git a/gadjo/static/js/gadjo.js b/gadjo/static/js/gadjo.js
index bf05af3..ab6b822 100644
--- a/gadjo/static/js/gadjo.js
+++ b/gadjo/static/js/gadjo.js
@@ -374,4 +374,21 @@ var gadjo_js = gadjo_js || {};
             $('.extra-actions-menu').toggleClass('open');
         });
     });
+    $(function() {
+      $('.varname').on('click', function() {
+        var doc = window.document, sel, range;
+        if (window.getSelection && doc.createRange) {
+          sel = window.getSelection();
+          range = doc.createRange();
+          range.selectNodeContents(this);
+          sel.removeAllRanges();
+          sel.addRange(range);
+        } else if (doc.body.createTextRange) {
+          range = doc.body.createTextRange();
+          range.moveToElementText(this);
+          range.select();
+        }
+        return false;
+      });
+    });
 })();
-- 
2.18.0