private static PHPHelpPlugin plugin;
private static ConfigurationManager manager;
+
/**
* The constructor.
*/
}
private IWorkbenchPage internalGetActivePage() {
- IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow();
+ IWorkbenchWindow window = PlatformUI.getWorkbench()
+ .getActiveWorkbenchWindow();
if (window != null)
return window.getActivePage();
return null;
}
public static void log(int severity, String message) {
- Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message, null);
+ Status status = new Status(severity, PLUGIN_ID, IStatus.OK, message,
+ null);
log(status);
}
public static void log(Throwable e) {
- log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR, "PHPeclipsePlugin.internalErrorOccurred", e)); //$NON-NLS-1$
+ log(new Status(IStatus.ERROR, PLUGIN_ID, IStatus.ERROR,
+ "PHPeclipsePlugin.internalErrorOccurred", e)); //$NON-NLS-1$
}
public static boolean isDebug() {
if (windowsSystem.equals(Platform.WS_WIN32)) {
store.setDefault(PHP_CHM_ENABLED, "false");
- store.setDefault(PHP_CHM_FILE, "c:\\wampp2\\php\\php_manual_en.chm");
- store.setDefault(PHP_CHM_COMMAND, "hh.exe \"mk:@MSITStore:{0}::/en/function.{1}.html\"");
+ store
+ .setDefault(PHP_CHM_FILE,
+ "c:\\wampp2\\php\\php_manual_en.chm");
+ store.setDefault(PHP_CHM_COMMAND,
+ "hh.exe \"mk:@MSITStore:{0}::/en/function.{1}.html\"");
} else {
store.setDefault(PHP_CHM_ENABLED, "false");
store.setDefault(PHP_CHM_FILE, "");
/**
* Returns the translated String found with the given key.
- *
+ *
* @return java.lang.String
* @param key
- * java.lang.String
+ * java.lang.String
*/
public static String getResource(String key) {
try {
/**
* Return a list of all the existing configurations.
- *
+ *
* @return java.util.List
*/
public static List getConfigurations() {
/**
* Create a new monitor.
- *
+ *
* @return working copy
*/
public static IConfigurationWorkingCopy createConfiguration() {