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) {
* @param activationSet
* the activation set
*/
- public void setCompletionProposalAutoActivationCharacters(
- char[] activationSet) {
- fProposalAutoActivationSet = activationSet;
- }
+// public void setCompletionProposalAutoActivationCharacters(
+// char[] activationSet) {
+// fProposalAutoActivationSet = activationSet;
+// }
/**
* Order the given proposals.