Hi, thank you very much for your comment. I will take a look at the problem that you mention. I will prevent the propagation of the keys when the focus is in the search field. Maybe that way the problem stops happening. If that does not work, I can try other alternatives. Thank you again for giving the feedback and also for reporting the issue.
Jorge

Thank you very much for your comment. I really appreciate it and I'm glad to hear that the extension is useful. :)

Thank you very much for the comment. :)

Hi, thank you very much for your comments. Regarding the shortcut key, it is something that I have in my to-do list, and I don't have a good excuse to not having it implemented yet. So this comment works also as push to myself to do it ;)

Hi, I don't have a good answer to that... well, neither a bad one. I have considered it and maybe in the future I'll do it. Hope it is not an inconvenience.

Hi,
Thank you for your comment and suggestion. I never thought of that option but I think it could make sense. I don't know if it is feasible, but for sure I will add it to my to-do list for this extension: https://rumoroso.bitbucket.io/headingsmap/todo.html

Thank you again for writing a comment and suggestion ;)

Hi Doug, thanks for sharing your feedback. I am always happy to know that the extension is useful and also to have this kind of feedback that gives additional ideas of features that it could include.

Regarding your suggestion, right now there is a visual clue that can help to identify the header. Maybe it is not the best way, but I think it could help. If you go to the settings dialog, you'll find one option with the label "Relate with viewport". When it is active, besides each item in the list of headers, at the right, you'll see a grey line that, when you scroll in the page, visually identify the headers (or sections) that are in the viewport area. When writing this comment I am thinking that maybe it is not the best name for the option. I also think that it can be far from your suggestion, but maybe it can help a bit.

Anyway, I just included your suggestion in the to-do list that I have: https://rumoroso.bitbucket.io/headingsmap/todo.html I have to say that some of them have been in the list for some months, so I cannot ensure when are going to be implemented, but at least it is a place to not forget them.

Again, thanks for your comment and your feedback

Hi, thank you very much for your comment and suggestion. I have to confess that the idea of a custom shortcut is in my to-do list, so I hope I will work on it soon https://rumoroso.bitbucket.io/headingsmap/todo.html ;)