diff options
author | Mazen Faraj | 2004-05-19 08:08:05 +0000 |
---|---|---|
committer | Mazen Faraj | 2004-05-19 08:08:05 +0000 |
commit | 2f601d64d9b777aacb302441a030cabab82114a0 (patch) | |
tree | 231014a864d83863254ec4da7b9fd149966f4a24 /org.eclipse.ui.intro | |
parent | 77012e7a06d6a93e0a85a030bd6d639bd872160e (diff) | |
download | eclipse.platform.ua-2f601d64d9b777aacb302441a030cabab82114a0.tar.gz eclipse.platform.ua-2f601d64d9b777aacb302441a030cabab82114a0.tar.xz eclipse.platform.ua-2f601d64d9b777aacb302441a030cabab82114a0.zip |
*** empty log message ***
Diffstat (limited to 'org.eclipse.ui.intro')
-rw-r--r-- | org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/swt/PageStyleManager.java | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/swt/PageStyleManager.java b/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/swt/PageStyleManager.java index 1f2e08fe5..c2c319fe8 100644 --- a/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/swt/PageStyleManager.java +++ b/org.eclipse.ui.intro/src/org/eclipse/ui/internal/intro/impl/swt/PageStyleManager.java @@ -321,16 +321,18 @@ public class PageStyleManager extends SharedStyleManager { } public boolean isBold(IntroText text) { + String value = null; StringBuffer buff = createPathToElementKey(text); if (buff != null) { String key = buff.append(".font.bold").toString(); - String value = getProperty(key); + value = getProperty(key); if (value != null) return value.toLowerCase().equals("true"); - } else { + } + if (value == null) { // bold is not specified by ID. Check to see if there is a style-id // specified for bold. - String value = getProperty("bold-style-id"); + value = getProperty("bold-style-id"); if (value != null && text.getStyleId() != null) return text.getStyleId().equals(value); } |