X-Git-Url: http://git.phpeclipse.com diff --git a/net.sourceforge.phpeclipse.phphelp/src/net/sourceforge/phpdt/phphelp/PHPHelpPlugin.java b/net.sourceforge.phpeclipse.phphelp/src/net/sourceforge/phpdt/phphelp/PHPHelpPlugin.java index 3c24502..0b1567a 100644 --- a/net.sourceforge.phpeclipse.phphelp/src/net/sourceforge/phpdt/phphelp/PHPHelpPlugin.java +++ b/net.sourceforge.phpeclipse.phphelp/src/net/sourceforge/phpdt/phphelp/PHPHelpPlugin.java @@ -43,14 +43,15 @@ public class PHPHelpPlugin extends AbstractUIPlugin { public static final String HTTP_QUERY = "HTTP Query"; - public final static String PREF_STRING_CONFIGURATIONS = "__configurations"; + public final static String PREF_STRING_CONFIGURATIONS = "__configurations1"; public final static String CONFIG_MEMENTO = "" + "" - + "" - + "" - + "" - + "" + + "" + + "" + + "" + + "" + + "" + ""; public static final ArrayList CONFIGURATION_TYPES = new ArrayList(); @@ -125,6 +126,7 @@ public class PHPHelpPlugin extends AbstractUIPlugin { protected void initializeDefaultPreferences(IPreferenceStore store) { store.setDefault(PREF_STRING_CONFIGURATIONS, CONFIG_MEMENTO); + addType(HTTP_QUERY); // windows preferences: String windowsSystem = Platform.getWS();