Project: Eclipse_Platform_UI
Bug 284622 [CSS] Layout of ETabFolder not updating when Window->Reload Style Sheet
Reported: 2009-07-24 14:54:45 | Status: resolved fixed

When you pick Window->Reload Style Sheet, some aspects of the ETabFolder isn't updating. Specifically, they're around spacing/layout, .e.g: - "tab-margin-offset:" has no immediate effect - changing padding doesn't grow the tab higher, just squishes the contents in - ETabItem margin-left: and margin-right: have no immediate effect The problem is that the setters are only changing the field value but not doing any udpating. We need something like: updateTabHeight(true); for vertical spacing changes updateItems(); for horizontal spacing changes redraw();

Files changed in fix:
bundles/org.eclipse.e4.ui.widgets/src/org/eclipse/e4/ui/widgets/ETabFolder.java