Reverted from revision 253 to 252 and reimplemented changes. Scrollbar stuff readded. Made fewer changes to TerminatorTerm. TerminatorTerm now extends VBox. .get_box () now returns "self" instead of self._box. This means that 
all code outside of TerminatorTerm that still uses .get_box() still works without changes.