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/Decorations.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/Decorations.java')
| -rw-r--r-- | bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Decorations.java | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Decorations.java b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Decorations.java index 38ed5a2f6a..0ee4ad11fd 100644 --- a/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Decorations.java +++ b/bundles/org.eclipse.swt/Eclipse SWT/gtk/org/eclipse/swt/widgets/Decorations.java @@ -489,6 +489,17 @@ void releaseWidget () { defaultButton = saveDefault = null; } +void reskinChildren (int flags) { + if (menuBar != null) menuBar.reskin (flags); + if (menus != null) { + for (int i=0; i<menus.length; i++) { + Menu menu = menus [i]; + if (menu != null) menu.reskin (flags); + } + } + super.reskinChildren (flags); +} + boolean restoreFocus () { if (savedFocus != null && savedFocus.isDisposed ()) savedFocus = null; boolean restored = savedFocus != null && savedFocus.setFocus (); |