From 9e81fcd4bdb089b8f8a05c6fbb586ec2a2a14924 Mon Sep 17 00:00:00 2001
From: Bent Bisballe Nyeng <deva@aasimon.org>
Date: Sat, 6 Jun 2020 16:04:40 +0200
Subject: Change 'observe' to 'subscribe' (and incidentally 'publish') which is
 more common lingo.

---
 view.js | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

(limited to 'view.js')

diff --git a/view.js b/view.js
index 8bb9f87..6104384 100644
--- a/view.js
+++ b/view.js
@@ -8,27 +8,27 @@ function createTask()
     task.id = 42;
     task.dump = function() {
 	alert(this.id);
-    } 
+    }
 }
 */
 
-function getTask(observeid, id)
+function getTask(subscribeid, id)
 {
-    
+
 }
 
-function updateTask(observeid, id, name, value)
+function updateTask(subscribeid, id, name, value)
 {
 }
 
-function getBoard(observeid)
+function getBoard(subscribeid)
 {
-    var board = document.getElementById("board_" + observeid);
+    var board = document.getElementById("board_" + subscribeid);
     if(!board) {
         board = document.createElement("div");
         board.name = "board";
         board.setAttribute("class", "board");
-        board.id = "board_" + observeid;
+        board.id = "board_" + subscribeid;
         boards.appendChild(board);
     }
 
@@ -60,16 +60,16 @@ function drop(target, e) {
     move(idFromStr(id), idFromStr(target.id));
 }
 
-function observeMe(target, e)
+function subscribeMe(target, e)
 {
     e.stopPropagation();
-    observe(target.title);
+    subscribe(target.title);
 }
 
-function unobserveMe(target, e)
+function unsubscribeMe(target, e)
 {
     e.stopPropagation();
-    unobserve(target.title);
+    unsubscribe(target.title);
 }
 
 function showHideChildren(target, e)
-- 
cgit v1.2.3