1) Fixed issue #705: Take the global 'Undo history size' to overwrite the default...

[phpeclipse.git] / net.sourceforge.phpeclipse.ui / src / net / sourceforge / phpdt / internal / ui / PHPUiImages.java

diff --git a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/PHPUiImages.java b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/PHPUiImages.java
index 14bd288..1d5e62b 100644 (file)
--- a/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/PHPUiImages.java
+++ b/net.sourceforge.phpeclipse.ui/src/net/sourceforge/phpdt/internal/ui/PHPUiImages.java
@@ -883,25 +883,25 @@ public class PHPUiImages {
                }
        }
 
-       private static ImageDescriptor createManaged(String prefix, String name,
-                       String key) {
-               try {
-                       ImageDescriptor result = ImageDescriptor
-                                       .createFromURL(makeIconFileURL(prefix, name
-                                                       .substring(NAME_PREFIX_LENGTH)));
-                       if (fgAvoidSWTErrorMap == null) {
-                               fgAvoidSWTErrorMap = new HashMap();
-                       }
-                       fgAvoidSWTErrorMap.put(key, result);
-                       if (fgImageRegistry != null) {
-                               WebUI
-                                               .logErrorMessage("Image registry already defined"); //$NON-NLS-1$
-                       }
-                       return result;
-               } catch (MalformedURLException e) {
-                       return ImageDescriptor.getMissingImageDescriptor();
-               }
-       }
+//     private static ImageDescriptor createManaged(String prefix, String name,
+//                     String key) {
+//             try {
+//                     ImageDescriptor result = ImageDescriptor
+//                                     .createFromURL(makeIconFileURL(prefix, name
+//                                                     .substring(NAME_PREFIX_LENGTH)));
+//                     if (fgAvoidSWTErrorMap == null) {
+//                             fgAvoidSWTErrorMap = new HashMap();
+//                     }
+//                     fgAvoidSWTErrorMap.put(key, result);
+//                     if (fgImageRegistry != null) {
+//                             WebUI
+//                                             .logErrorMessage("Image registry already defined"); //$NON-NLS-1$
+//                     }
+//                     return result;
+//             } catch (MalformedURLException e) {
+//                     return ImageDescriptor.getMissingImageDescriptor();
+//             }
+//     }
 
        protected static ImageDescriptor create(String prefix, String name) {
                try {