Refresh home page if number of notes changes

static/js/home.js

@@ -9,6 +9,9 @@ setInterval(function () {
     $.getJSON("action.php", {
         action: "getnotes"
     }, function (notes) {
+        if ($(".notecard").length != notes.length) {
+            window.location.reload(true);
+        }
         for (var i = 0; i < notes.length; i++) {
             n = notes[i];
             var notecard = $("#notecard_" + n['noteid']);