local editing, simplified index that works locally as well

This commit is contained in:
Michael Murtaugh
2019-06-13 11:35:02 +02:00
parent 8c1f6bba22
commit dc57068ad3
6 changed files with 245 additions and 218 deletions

View File

@@ -205,7 +205,6 @@ export class SimpleMap {
console.log("wikimap.set_active_node: page not found", pagename);
}
}
if (page === this.active_page) {
// console.log("page is already the active page", page, this.active_page);
return;