📄 jythonshell.java
字号:
/*
* Created on 13/08/2005
*/
package org.python.pydev.editor.codecompletion.shell;
import java.io.IOException;
import org.eclipse.core.runtime.CoreException;
import org.python.copiedfromeclipsesrc.JDTNotAvailableException;
import org.python.pydev.core.REF;
import org.python.pydev.plugin.PydevPlugin;
import org.python.pydev.runners.SimpleJythonRunner;
import org.python.pydev.runners.SimplePythonRunner;
public class JythonShell extends AbstractShell{
public JythonShell() throws IOException, CoreException {
super(PydevPlugin.getScriptWithinPySrc("pycompletionserver.py"));
}
@Override
protected synchronized String createServerProcess(int pWrite, int pRead) throws IOException, JDTNotAvailableException {
String args = pWrite+" "+pRead;
String script = REF.getFileAbsolutePath(serverFile);
String executableStr = SimpleJythonRunner.makeExecutableCommandStr(script);
executableStr += " "+args;
process = new SimplePythonRunner().createProcess(executableStr, serverFile.getParentFile());
return executableStr;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -