Minor hacks in select.

src/_h5ai/client/css/inc/view.less

@@ -2,6 +2,13 @@
 
 html.drag-select, html.drag-select * {
     cursor: move !important;
+
+    -webkit-touch-callout: none;
+    -webkit-user-select: none;
+    -khtml-user-select: none;
+    -moz-user-select: none;
+    -ms-user-select: none;
+    user-select: none;
 }
 
 

src/_h5ai/client/js/inc/ext/select.js

@@ -198,6 +198,11 @@ modulejs.define('ext/select', ['_', '$', 'core/settings', 'core/resource', 'core
 
             $('#content')
                 .on('mousedown', selectionStart)
+                .on('drag dragstart', function (ev) {
+
+                    ev.stopImmediatePropagation();
+                    ev.preventDefault();
+                })
                 .on('click', function (ev) {
 
                     $('#items .item').removeClass('selected');