366367368369370371372373374375376
} selectedIndex = index; WindowSectionContent active = null; if (index != -1) { active = contents.get(index); active.appendState(WindowElementState.ACTIVE); windowSection.ensureVisible(); } windowSection.fireActiveContentChanged(active); } }