Merge branch 'master' of https://github.com/Microsoft/TouchDevelop

editor/scriptList.ts

@@ -9497,6 +9497,7 @@
                 } else if (u.resolution == "deleted") {
                     icon.setChildren(HTML.mkImg("svg:fa-trash,white"))
                     icon.style.background = "#308919";
+                    if (par) par.setAttribute("data-deleted", "yes")
                 } else {
                     icon.setChildren(HTML.mkImg("svg:fa-flag,white"))
                     resolved = false

www/editor.css

@@ -6267,6 +6267,10 @@ table.dashboard tr td[data-completed^="yes"] {
   display: none;
 }
 
+.abusePair[data-deleted^="yes"] .abuseButtons button {
+  display: none;
+}
+
 .abuseButtons {
   display: inline-block;
   width: 8em;