Tabbed terminals

Elementary introduction of tabbed terminals.
@bytex64 good catch, will adjust.