/** Set the size of a page in the folder. */ private void setControlSize() { if (current == null || tabFolder == null) { return; } // Rectangle bounds; // @issue as above, the mere presence of a theme should not change the behaviour // if ((mapTabToPart.size() > 1) // || ((tabThemeDescriptor != null) && (mapTabToPart.size() >= 1))) // bounds = calculatePageBounds(tabFolder); // else // bounds = tabFolder.getBounds(); current.setBounds(calculatePageBounds(tabFolder)); // current.moveAbove(tabFolder); }