Unfortunately only files in main theme folder are listed there..
So you should edit file via for example FTP (download file to your pc and edit it there).
Or use localhost, with https://www.apachefriends.org/index.html
Or look for plugin that allows you to edit ALL theme files.
Guido