/** * Delegate tab spacing information to tabs. * * @return */ public int getTabSpacing() { return tabs.getTabSpacing(); }