Merge remote-tracking branch 'github/master' into portable

debomatic-webui/public/javascripts/page_distribution.js

@@ -184,7 +184,7 @@ function Page_Distrubion(socket) {
                 packages.select();
             } else {
                 $('#packages .search').hide();
-                $('#packages ul').append('<li class="disabled"><a>No packages yet</a></li>');
+                $('#packages ul').append('<li class="disabled unselectable"><a>No packages yet</a></li>');
             }
             packages.show();
             sticky.updateOffset();

debomatic-webui/public/stylesheets/style.css

@@ -32,6 +32,13 @@
   padding-bottom: 40px;
 }
 
+.unselectable {
+  -moz-user-select: none;
+  -webkit-user-select: none;
+  -ms-user-select: none;
+  user-select: none;
+}
+
 #home .dput pre {
   background: none;
   font-size: 15px;