Update task_manager.js

plugins/task_manager/js/task_manager.js

@@ -321,19 +321,19 @@ function get_process_list(sortx, reverse, rx) {
 
 function task_manager_possess_scroll() {
     var timer = null;
-    var set2selected = null
+    var set2selected = null;
     // 滚动节流
     return function () {
-      if (timer !== null) return
+        if (timer !== null) return;
         timer = setTimeout(function () {
-        timer = null
+            timer = null;
-        canScroll2TaskMangerPossess = false
+            canScroll2TaskMangerPossess = false;
             if (set2selected !== null) clearTimeout(set2selected)
             // 最后一次滚动后2秒内不再滚动，才能滚动到选中的行
             set2selected = setTimeout(function () {
-          canScroll2TaskMangerPossess = true
+                canScroll2TaskMangerPossess = true;
-        }, 2000)
+            }, 2000);
-      }, 500)
+        }, 500);
     }
 }