X-Git-Url: http://secure.phpeclipse.com diff --git a/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/editor/WikiEditorPlugin.java b/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/editor/WikiEditorPlugin.java index eebe5e1..099922a 100644 --- a/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/editor/WikiEditorPlugin.java +++ b/archive/net.sourceforge.phpeclipse.wiki/src/net/sourceforge/phpeclipse/wiki/editor/WikiEditorPlugin.java @@ -129,8 +129,10 @@ public class WikiEditorPlugin extends AbstractUIPlugin { public final static String LOCAL_CSS_URL = "__local_css_url"; public final static String EXPORT_CSS_URL = "__export_css_url"; - - public final static String PREF_STRING_CONFIGURATIONS = "__configurations3"; + + public final static String PREF_STRING_CONFIGURATIONS = "__configurations4"; + + public final static String CONSOLE_OUTPUT = "__console_output"; public final static String CONFIG_MEMENTO = "" + "" + "" @@ -140,8 +142,8 @@ public class WikiEditorPlugin extends AbstractUIPlugin { + "" + "" - + "" - + "" + + "" + + "" + "" + "