From 2f147ec0888c0b44f6514624772616bc012afc08 Mon Sep 17 00:00:00 2001
From: Max Prokhorov <prokhorov.max@outlook.com>
Date: Sat, 9 Feb 2019 17:56:06 +0300
Subject: [PATCH] double-click to select textarea

---
 code/html/custom.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/code/html/custom.js b/code/html/custom.js
index 3e412de7..0c79d78a 100644
--- a/code/html/custom.js
+++ b/code/html/custom.js
@@ -1719,6 +1719,8 @@ $(function() {
     $(document).on("change", "input", hasChanged);
     $(document).on("change", "select", hasChanged);
 
+    $("textarea").on("dblclick", function() { this.select(); });
+
     // don't autoconnect when opening from filesystem
     if (window.location.protocol === "file:") { return; }