Publicservers

user selectable
2015-10-25 00:59:35 +03:00 · 2015-10-25 00:59:35 +03:00 · dc4fd13ee5
parent 6085e97579
commit dc4fd13ee5
2 changed files with 8 additions and 0 deletions
--- a/devjs/main.js
+++ b/devjs/main.js
@ -377,6 +377,10 @@ PublicServers.prototype.addServer = function(name, code, title, language, descri
    }));

    tr.append($("<td/>", {
+        css: {
+            "-webkit-user-select":"initial",
+            "user-select":"initial"
+        },
        text: code
    }));

--- a/devjs/publicservers.js
+++ b/devjs/publicservers.js
@ -104,6 +104,10 @@ PublicServers.prototype.addServer = function(name, code, title, language, descri
    }));

    tr.append($("<td/>", {
+        css: {
+            "-webkit-user-select":"initial",
+            "user-select":"initial"
+        },
        text: code
    }));