testing around with plugin properties ;)
authorgtonic <gtonic>
Fri, 9 Aug 2002 18:29:38 +0000 (18:29 +0000)
committergtonic <gtonic>
Fri, 9 Aug 2002 18:29:38 +0000 (18:29 +0000)
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/PHPeclipsePlugin.java
net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/editors/PHPEditor.java

index f8431ba..12e570f 100644 (file)
@@ -1,9 +1,12 @@
 package net.sourceforge.phpeclipse;
 
-import org.eclipse.ui.plugin.*;
-import org.eclipse.core.runtime.*;
-import org.eclipse.core.resources.*;
-import java.util.*;
+import java.util.MissingResourceException;
+import java.util.ResourceBundle;
+
+import org.eclipse.core.resources.IWorkspace;
+import org.eclipse.core.resources.ResourcesPlugin;
+import org.eclipse.core.runtime.IPluginDescriptor;
+import org.eclipse.ui.plugin.AbstractUIPlugin;
 
 /**
  * The main plugin class to be used in the desktop.
index e0d5911..0b5d4d7 100644 (file)
@@ -18,5 +18,5 @@ public class PHPEditor extends TextEditor {
                colorManager.dispose();
                super.dispose();
        }
-       
+
 }