Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMazen Faraj2004-05-19 08:08:05 +0000
committerMazen Faraj2004-05-19 08:08:05 +0000
commit2f601d64d9b777aacb302441a030cabab82114a0 (patch)
tree231014a864d83863254ec4da7b9fd149966f4a24 /org.eclipse.ui.intro
parent77012e7a06d6a93e0a85a030bd6d639bd872160e (diff)
downloadeclipse.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.java8
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);
}

Back to the top