Factor out makeTopPriority

diff --git a/vopamoi.ts b/vopamoi.ts
index fe97410107bbec955ca53324aca8176f912d6e31..ede591112fa498b3285974dfe475584515c7ef71 100644 (file)
--- a/vopamoi.ts
+++ b/vopamoi.ts
@@ -262,7 +262,7 @@ function BrowserUI() {
       }
       input.value = "";
       if (event.getModifierState("Control")) {
-        this.setPriority(task, null, document.getElementsByClassName("task")[0]);
+        this.makeTopPriority(task);
       }
     },
 
@@ -356,6 +356,10 @@ function BrowserUI() {
       return valid_cursor;
     },
 
+    makeTopPriority: function (task: Element) {
+      this.setPriority(task, null, document.getElementsByClassName("task")[0]);
+    },
+
     moveCursor: function (offset: number): boolean {
       const active = document.activeElement;
       if (!active) return false;