navigation does not work when id contains multiple dot characters
lionelvillard opened this issue · comments
for instance when the definition name is foo.bar.hello
line 177 in spectable.js should be var arrival = this.getAttribute('href').replace(/\./g, "\\."),