⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 jlistuse.java

📁 对给定的大规模汉语文本库
💻 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 + -