diff options
author | Bogdan Gheorghe <gheorghe> | 2009-11-12 19:24:24 +0000 |
---|---|---|
committer | Bogdan Gheorghe <gheorghe> | 2009-11-12 19:24:24 +0000 |
commit | f15ff0bb3cff4bd3ecbcf7fe360d6cd226272c84 (patch) | |
tree | 9569ad8a2570edbb7a0506fe0a345a983f0d6418 /bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java | |
parent | 4c0e6ba4b69579a10f5aa2002e774ab773eb3f0c (diff) | |
download | eclipse.platform.swt-f15ff0bb3cff4bd3ecbcf7fe360d6cd226272c84.tar.gz eclipse.platform.swt-f15ff0bb3cff4bd3ecbcf7fe360d6cd226272c84.tar.xz eclipse.platform.swt-f15ff0bb3cff4bd3ecbcf7fe360d6cd226272c84.zip |
260406 - e4 CSS: widgets need to notify CSS to apply style information
260407 - e4 CSS: css attribute storage and notification
Diffstat (limited to 'bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java')
-rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java index 5dc2d87427..55354e2285 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Composite.java @@ -210,6 +210,7 @@ int /*long*/ childStyle () { public Point computeSize (int wHint, int hHint, boolean changed) { checkWidget (); + display.runSkin(); if (wHint != SWT.DEFAULT && wHint < 0) wHint = 0; if (hHint != SWT.DEFAULT && hHint < 0) hHint = 0; Point size; @@ -1224,6 +1225,15 @@ void removeControl (Control control) { fixTabList (control); } +void reskinChildren (int flags) { + super.reskinChildren (flags); + Control [] children = _getChildren (); + for (int i=0; i<children.length; i++) { + Control child = children [i]; + if (child != null) child.reskin (flags); + } +} + void resizeHandle (int width, int height) { super.resizeHandle (width, height); if (socketHandle != 0) OS.gtk_widget_set_size_request (socketHandle, width, height); @@ -1444,6 +1454,7 @@ void updateLayout (boolean all) { if ((state & LAYOUT_NEEDED) != 0) { boolean changed = (state & LAYOUT_CHANGED) != 0; state &= ~(LAYOUT_NEEDED | LAYOUT_CHANGED); + display.runSkin(); layout.layout (this, changed); } if (all) { |