void onPageChange() { int pageIndex = m_tab.getActivePage(); switch (pageIndex) { // Region A case 0: m_regions.setRegion(m_regionA, false); break; // Region B case 1: m_regions.setRegion(m_regionB, false, true); break; // A | B case 2: m_region = m_regionA | m_regionB; m_regions.setRegion(m_region, true); break; // A & B case 3: m_region = m_regionA & m_regionB; m_regions.setRegion(m_region, true); break; // A - B case 4: m_region = m_regionA - m_regionB; m_regions.setRegion(m_region, true); break; // B - A case 5: m_region = m_regionB - m_regionA; m_regions.setRegion(m_region, true); break; // A ^ B case 6: m_region = m_regionA ^ m_regionB; m_regions.setRegion(m_region, true); break; } }