📄 pythoninterpretereditor.java
字号:
/*
* Created on 08/08/2005
*/
package org.python.pydev.ui.pythonpathconf;
import org.eclipse.swt.widgets.Composite;
import org.python.pydev.core.IInterpreterManager;
import org.python.pydev.runners.SimplePythonRunner;
public class PythonInterpreterEditor extends AbstractInterpreterEditor{
public PythonInterpreterEditor(String labelText, Composite parent, IInterpreterManager interpreterManager) {
super(IInterpreterManager.PYTHON_INTERPRETER_PATH, labelText, parent, interpreterManager);
}
@Override
public String[] getInterpreterFilterExtensions() {
if (SimplePythonRunner.isWindowsPlatform()) {
return new String[] { "*.exe", "*.*" };
}
return null;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -