📄 threadstreamreader.java
字号:
/*
* Created on 03/08/2005
*/
package org.python.pydev.runners;
import java.io.InputStream;
import java.io.InputStreamReader;
public class ThreadStreamReader extends Thread {
InputStream is;
public StringBuffer contents;
public ThreadStreamReader(InputStream is) {
this.setName("ThreadStreamReader");
this.setDaemon(true);
contents = new StringBuffer();
this.is = is;
}
public void run() {
try {
InputStreamReader in = new InputStreamReader(is);
int c;
while ((c = in.read()) != -1) {
contents.append((char) c);
}
} catch (Exception e) {
//that's ok
e.printStackTrace();
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -