script: dragging: Make this hex

In case we every want to add more.  (We don't right now, it turns
out.)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 5c45c7a1f9231ceb9f3ee67305736ec523c19298..a8fffcd10d9c3ed00057daea3886c0683e13a8b5 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -802,11 +802,11 @@ type DragInfo = {
 }
 
 enum DRAGGING { // bitmask
-  NO           = 0,
-  MAYBE_GRAB   = 1,
-  MAYBE_UNGRAB = 2,
-  YES          = 4,
-  RAISED       = 8,
+  NO           = 0x00,
+  MAYBE_GRAB   = 0x01,
+  MAYBE_UNGRAB = 0x02,
+  YES          = 0x04,
+  RAISED       = 0x08,
 };
 
 var drag_pieces : DragInfo[] = [];