📄 addfeaturesaction.java
字号:
/*******************************************************************************
* Copyright (c) 2007 Siemens AG
*
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
* http://www.eclipse.org/legal/epl-v10.html
*
* Contributors:
* Kai T鰀ter - initial API and implementation
*******************************************************************************/
package com.siemens.ct.mp3m.ui.update;
import java.net.MalformedURLException;
import java.net.URL;
import org.eclipse.core.runtime.Plugin;
import org.eclipse.core.runtime.Preferences;
import org.eclipse.core.runtime.jobs.Job;
import org.eclipse.swt.custom.BusyIndicator;
import org.eclipse.ui.IWorkbenchWindow;
import org.eclipse.update.search.BackLevelFilter;
import org.eclipse.update.search.EnvironmentFilter;
import org.eclipse.update.search.UpdateSearchRequest;
import org.eclipse.update.search.UpdateSearchScope;
import org.eclipse.update.ui.UpdateJob;
import org.eclipse.update.ui.UpdateManagerUI;
/**
* Action to look for new features to install.
*/
public class AddFeaturesAction extends AbstractUpdateAction {
protected void run(final IWorkbenchWindow window) {
BusyIndicator.showWhile(window.getShell().getDisplay(), new Runnable() {
public void run() {
UpdateJob job = new UpdateJob(Messages
.getString("AddFeaturesAction.searchForNewFeatures"), getSearchRequest()); //$NON-NLS-1$
job.setUser(true);
job.setPriority(Job.INTERACTIVE);
UpdateManagerUI.openInstaller(window.getShell(), job);
}
});
}
private UpdateSearchRequest getSearchRequest() {
// get the preference for the update site
Plugin plugin = UpdatePlugin.getDefault();
Preferences prefs = plugin.getPluginPreferences();
String updateSite = prefs.getString("updateSite");
System.out.println("AddFeaturesAction.getSearchRequest(): " + updateSite);
UpdateSearchRequest result = new UpdateSearchRequest(UpdateSearchRequest
.createDefaultSiteSearchCategory(), new UpdateSearchScope());
result.addFilter(new BackLevelFilter());
result.addFilter(new EnvironmentFilter());
UpdateSearchScope scope = new UpdateSearchScope();
try {
scope.addSearchSite(
"MP3 Manager site", new URL(updateSite), null); //$NON-NLS-1$ //$NON-NLS-2$
} catch (MalformedURLException e) {
// do nothing
}
result.setScope(scope);
return result;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -