file names wrap around properly
tweaking
proper title for editor
Merge branch 'ui-changes' of https://github.com/cs136/seashell

Conflicts:
	src/frontend/js/ui/menu.js
bringing dynamic height arithmetic to university level
nudging height
removing "set read only" flag (set unnecessarily)
focusing the right file at the right time
also opening uploaded files