Note bookmarks and naturalize

[meduzen]

Closes #168.

(Don’t forget to npm install.)

Also:

• bring back the minimap;
• update tooltip layout;
• various small cleanup (mainly CSS).

[yrammos]

@meduzen

The new tooltip looks very much improved. But switching between overlapping relations (using z) does not update the tooltip text as it should.

"Naturalizing" does works — thank you!

[yrammos]

@meduzen I am facing issues with bookmarking.

With certain files, bookmarking works, albeit only via the UI (not the keyboard shortcut).

With other files, the keyboard shortcut is triggered, but an error pops up:

Can't find variable: add_bookmark

[pettter]

I'm trying to reproduce @yrammos issues, and found that

• the bookmark counter doesn't seem to reset when loading a new file (possibly also not the actual bookmarks? It acts weirdly)
• Adding/removing a bookmark seems to happen on the last interacted note, not the last selected note. Selecting, deselecting, and then clicking the bookmark button adds/removes to the deselected note rather to the note previously selected.

Re: the keyboard shortcut, I'll push a fix - replacing add_bookmark with bookmarks.toggle at the relevant position in ui.js

After some trials I can't seem to reproduce it not working - what files did you have trouble with @yrammos ?