Feature Request: Search box for page selector in left panel

[v4u6h4n]

Maybe less useful for the average user that doesn't have a lot of pages, so understand if it isn't much of a priority.

[Core447]

I would like that as well. I just don't know if it's doable with the default gtk dropdown, because the dropdown always selects a page when searching. This will result in a ton of unwanted page changes until you find the right one. But I'll keep trying to come up with a solution.