bibliothek.extension.gui.dock.theme.eclipse.rex.tab
Interfaces 
TabComponent
TabListener
TabPainter
TabStripPainter
Classes 
BaseTabComponent
BasicTabDockTitle
DockTitleTab
EclipseDockTitleEvent
LineStripPainter
RectGradientPainter
ShapedGradientPainter
TabStripLayoutManager