Can't see the full filename (see the picture)

This is by design. When the window is narrow (e.g. ~800-1200px for a projector screen), we wanted to ensure the buttons will all still fit on one row. So we elided the middle of the name.
So there's no way to see the full name at all? I'm fine with the current design (in fact, I like it) as long as there is a way to see the full name.
Currently no. We probably could add a tooltip that appears on hover. @jpolitz whadayathink?
Yeah, good point. The only way to see the full name is to use rename or save as right now. A hover would help a lot.
Do we want something like this? https://www.w3schools.com/css/tryit.asp?filename=trycss_tooltip
I've opened a PR for this in https://github.com/brownplt/code.pyret.org/pull/571