Vasilij Schneidermann

Why special-case the TOC here? Wouldn't it make sense to remember the document position for each document in the EPUB spine? Granted, I'd imagine that you'd need to make adjustments...

This is Emacs, not Vim, so `j` and `k` won't make any sense for the target group. Feel free to bind them yourself, you heretic. If `t` was being this...

The easiest way of implementing full-text search would be by using `grep` on the EPUB sources living in `nov-temp-dir`, presenting the search results and offering a way to jump with...

Navigating point to each match is going to be a challenge. `grep` will give you the right document to navigate to, but actually jumping to the match is going to...

Thanks for your ideas on that one. `dom-texts` is one approach, but much like the grep solution it doesn't solve the core issue, how do you jump back from a...

Regarding mapping DOM nodes to source locations, it seems I'm not the first to think of it: https://lists.gnu.org/archive/html/emacs-devel/2020-02/msg00096.html

> If the caching was asynchronous, it wouldn't appear to be slow. Maybe it's the way to go. I have my doubts. There's three ways of achieving async behavior: -...

Thanks, looking good. Is there a reason why you only added faces for that particular file? A quick GitHub search shows five more files with `defface` usage: https://github.com/idris-hackers/idris-mode/search?q=defface&unscoped_q=defface

I went over the other files and found lots more that don't inherit from standard faces: - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-settings.el#L83 - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-settings.el#L91 - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-settings.el#L107 - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-settings.el#L120 - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-log.el#L33 - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-log.el#L44 - https://github.com/idris-hackers/idris-mode/blob/2cd2ace9327248e141c35127b8ef9114a1301a1d/idris-log.el#L49...

Not yet, no. Now that I'm less busy, I might get back to it though...