Select default template file in dropdown list on changing theme on Theme Editor page

[dimayakovlev]

Select file template.php in dropdown list #theme-files on changing theme to edit.