Added second quickfix on conflicting extension to mark it hidden and deprecated

2015-08-31 23:43:02 +03:00
parent b2ea369129
commit 086d29a44a
36 changed files with 91 additions and 31 deletions
@@ -0,0 +1,8 @@
+// "Delete redundant extension property" "false"
+
+var Thread.<caret>priority: Int
+    get() = this.getPriority()
+    set(value) {
+        this.setPriority(value)
+        System.out.print("set")
+    }