github-files-filter.user.js not working after 'go back' from a next page

[k-choi]

Filters don't work when you open a new page and then come back.

Steps to reproduce:

1. after setting up a filter on a repo page,
2. click a file to see the contents,
3. and come back to the repo page using 'go back'
4. filters would stop working

[Mottie]

Hi @k-choi!

Thanks for reporting this problem. I'll take a look at this soon.

[k-choi]

Thank you so much!