📄 pythoninterpreterpreferencespage.java
字号:
/*
* License: Common Public License v1.0
* Created on 08/08/2005
*
* @author Fabio Zadrozny
*/
package org.python.pydev.ui.pythonpathconf;
import org.eclipse.core.runtime.IProgressMonitor;
import org.eclipse.swt.widgets.Composite;
import org.python.pydev.core.IInterpreterManager;
import org.python.pydev.plugin.PydevPlugin;
public class PythonInterpreterPreferencesPage extends AbstractInterpreterPreferencesPage{
public String getTitle() {
return "Python Interpreters";
}
/**
* @return the title that should be used above the interpreters editor.
*/
protected String getInterpretersTitle() {
return "Python interpreters (e.g.: python.exe)";
}
/**
* @param p this is the composite that should be the interpreter parent
* @return an interpreter editor (used to add/edit/remove the information on an editor)
*/
protected AbstractInterpreterEditor getInterpreterEditor(Composite p) {
return new PythonInterpreterEditor (getInterpretersTitle(), p, PydevPlugin.getPythonInterpreterManager(true));
}
/**
* @param defaultSelectedInterpreter this is the path to the default selected file (interpreter)
* @param monitor a monitor to display the progress to the user.
*/
protected void doRestore(final String defaultSelectedInterpreter, IProgressMonitor monitor) {
IInterpreterManager iMan = PydevPlugin.getPythonInterpreterManager(true);
iMan.restorePythopathFor(defaultSelectedInterpreter, monitor);
}
@Override
protected IInterpreterManager getInterpreterManager() {
return PydevPlugin.getPythonInterpreterManager(true);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -