RefreshJob loads max 10 articles at a time; there's a delay of 1 second for the next...

[phpeclipse.git] / archive / net.sourceforge.phpeclipse.wiki / src / net / sourceforge / phpeclipse / wiki / editor / WikiEditorPlugin.java

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 fa131a4..099922a 100644 (file)
--- 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
@@ -131,6 +131,8 @@ public class WikiEditorPlugin extends AbstractUIPlugin {
   public final static String EXPORT_CSS_URL = "__export_css_url";
  
   public final static String PREF_STRING_CONFIGURATIONS = "__configurations4";
+  
+  public final static String CONSOLE_OUTPUT = "__console_output";
 
   public final static String CONFIG_MEMENTO = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>" + "<configurations>"
       + "<config name=\"Google Search\" type-id=\"HTTP Query\" url=\"http://www.google.com/search?q=$text.selection\"/>"
@@ -324,6 +326,7 @@ public class WikiEditorPlugin extends AbstractUIPlugin {
    */
   protected void initializeDefaultPreferences(IPreferenceStore store) {
     store.setDefault(PREF_STRING_CONFIGURATIONS, CONFIG_MEMENTO);
+    store.setDefault(CONSOLE_OUTPUT, "true");
   }
 
   /*
@@ -378,8 +381,8 @@ public class WikiEditorPlugin extends AbstractUIPlugin {
 
   public void reportError(String title, String message) {
     try {
-      Shell shell = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell();
-      MessageDialog.openError(shell, title, message);
+//      Shell shell = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getShell();
+      MessageDialog.openError(null, title, message);
     } catch (RuntimeException e) {
       log(e.getLocalizedMessage(), e);
     }