Search: Match list

[mkoskim]

Background

Many modern coding editors like Visual Code create a list of matches when searching. It is very handy! So, we need to implement similar.

Implementation

For right hand index, add a search match list as an option (in addition to body index).

If anyhow possible, it would be best to generate the search match list from the SlateJS editor decorations. We already use decorate() function, which generates an up-to-date list of matches to be highlighted. If we can access that and show it to user, our problems may be solved.

Possible idea

Add an arrow-left button to search box. Pressing it will take search box to body index menu, and replace body index with list of matches. Also, search box left arrow will be changed to right arrow, and pressing it will take search box back to editor menu, and show index menu.