Superclass: BoxMorph

Class definition of TabFlagMorph in apps/JComponents.js:457