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; }