PHPPreviewProjectPreferences.PREF_ID, key).equals("true");
}
- public static String getPreviewStringValue(IResource resource, String key) {
- return getOverlayedPrefResourceValue(resource,
- PHPPreviewProjectPreferences.PREF_ID, key);
- }
+// public static String getPreviewStringValue(IResource resource, String key) {
+// return getOverlayedPrefResourceValue(resource,
+// PHPPreviewProjectPreferences.PREF_ID, key);
+// }
private static String getProperty(IResource resource, String pageId,
String key) {