1 9 10 package org.eclipse.ui.intro.config; 11 12 import java.util.Map ; 13 14 import org.eclipse.ui.internal.intro.impl.IntroPlugin; 15 import org.eclipse.ui.intro.IIntroSite; 16 17 18 26 27 public abstract class IntroConfigurer { 28 29 34 public static final String TB_ADDITIONS = "additions"; 36 protected Map themeProperties; 37 protected IIntroSite site; 38 39 50 public void init(IIntroSite site, Map themeProperties) { 51 this.themeProperties = themeProperties; 52 this.site = site; 53 } 54 55 63 64 protected String getThemeProperty(String name) { 65 if (themeProperties == null) 66 return null; 67 String value = (String )themeProperties.get(name); 68 if (value!=null) 69 value = IntroPlugin.getDefault().getIntroModelRoot().resolveVariables(value); 70 return value; 71 } 72 73 84 public abstract String getVariable(String variableName); 85 86 98 public abstract IntroElement[] getGroupChildren(String pageId, String groupId); 99 100 106 public IntroElement[] getLaunchBarShortcuts() { 107 return new IntroElement[] {}; 108 } 109 110 122 public abstract String resolvePath(String extensionId, String path); 123 124 135 public String getMixinStyle(String pageId, String extensionId) { 136 return null; 137 } 138 } | Popular Tags |