📄 dataport.java
字号:
import java.awt.*;
public class dataPort extends Frame {
Button OK;
TextArea edit1;
public dataPort() {
super("Streamline data (x,y,u,v)");
setBackground(Color.cyan);
setLayout(new BorderLayout());
OK=new Button("OK");
OK.setFont(new Font("Dialog",Font.BOLD,10));
add("South",OK);
edit1=new TextArea();
edit1.setFont(new Font("Dialog",Font.PLAIN,10));
add("Center",edit1);
}
public synchronized void show() {
move(50, 50);
super.show();
}
public boolean handleEvent(Event event) {
if (event.id == Event.ACTION_EVENT && event.target == OK) {
clickedOK();
return true;
}
else
if (event.id == Event.WINDOW_DESTROY) {
hide();
return true;
}
return super.handleEvent(event);
}
public void clickedOK() {
hide();
}
void addData(String s) {
edit1.setText(s+"\n");
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -