__init__() needs to be split up.  For now, put it in right place.
Notebook tabs smaller, fixed size, only show file's basename.