Add vertical bar when the search is big

[OpenFoam-User]

Hello,
Thank you very much for this amazing extension. It's extremely useful.
When there is a lot of content returned in the search, the result at the bottom of the window cannot be seen. Is it possible to add a vertical scroll bar to the result window so everything will show up properly?

Thank you

[e3rd]

Unfortunately, I am not skilled in GTK framework which is the reason the menu is rather a non-clickable text only label than real menu. I wish this to change, however I will not be able to dive into this within months to come.

How many pages does your notebook have?

[OpenFoam-User]

Thank you for your reply.
May be I have several hundreds of pages in my notebooks.