📄 jlistuse.java
字号:
package ir;
import java.awt.event.*;
import javax.swing.*;
import java.io.*;
import javax.swing.UIManager;
import java.awt.*;
public class JListUse extends JList
{
public JListUse(Object[] objects) {
super(objects);
try {
jbInit();
}
catch(Exception e) {
e.printStackTrace();
}
}
private void jbInit() throws Exception {
this.setFont(new java.awt.Font("DialogInput", 0, 12));
this.addMouseListener(new JListUse_this_mouseAdapter(this));
}
void this_mouseClicked(MouseEvent e) {
try {
if (e.getClickCount() == 2) { //System.out.println(this.getSelectedValue().toString());
int tempindex=this.getSelectedValue().toString().indexOf(" ");
String fileName = this.getSelectedValue().toString().substring(0,tempindex);
String s;
StringBuffer text = new StringBuffer();
FileInputStream is = new FileInputStream(fileName);
InputStreamReader ir = new InputStreamReader(is);
BufferedReader in = new BufferedReader(ir);
while ( (s = in.readLine()) != null) {
text.append(s + (char) 13 + (char) 10);
}
Observation ob=new Observation(text);
Dimension screenSize = Toolkit.getDefaultToolkit().getScreenSize();
Dimension frameSize = ob.getSize();
if (frameSize.height > screenSize.height) {
frameSize.height = screenSize.height;
}
if (frameSize.width > screenSize.width) {
frameSize.width = screenSize.width;
}
ob.setLocation((screenSize.width - frameSize.width) / 2, (screenSize.height - frameSize.height) / 2);
ob.setVisible(true);
}
}
catch (FileNotFoundException ex) {
}
catch (IOException ex) {
}
}
}
class JListUse_this_mouseAdapter extends java.awt.event.MouseAdapter {
JListUse adaptee;
JListUse_this_mouseAdapter(JListUse adaptee) {
this.adaptee = adaptee;
}
public void mouseClicked(MouseEvent e) {
adaptee.this_mouseClicked(e);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -