Movie Title/Filename toggle

Request for 4.1.1 or whatever comes next:

When you select a movie to watch and you go into the movie ticket interface, sometimes it is nice to just see the title of the movie, while other times you may want to see the filename of the movie. I know that there is a setting, but it is inconvenient to go back and toggle it every time you want to change it.

A simple and intuitive way to solve this would be to have the ticket title toggle between them. Tap the title and it switches to filename. Tap filename and it switches to title. The global setting would just designate the default behavior.