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

📄 navigator.java

📁 用java编写的IDE程序示例
💻 JAVA
字号:
/*
 * Created on 2004-5-25
 */
package yuchifang.javaIDE.editors;

import java.awt.BorderLayout;
import java.awt.event.MouseAdapter;
import java.awt.event.MouseEvent;
import java.io.File;

import javax.swing.JPanel;
import javax.swing.JScrollPane;
import javax.swing.tree.TreePath;

import yuchifang.javaIDE.JavaIDE;
import yuchifang.javaIDE.util.DirTree;

/**
 * 浏览本地java/txt/html/htm文件
 * @author yuchifang
 */
public class Navigator extends JPanel
{
  private DirTree dirTree;
  private JavaIDE ide;
  
  public Navigator(JavaIDE ide)
  {
    this.ide = ide;
    dirTree = new DirTree(null);
    dirTree.addAcceptedExtension(".java");
    
    dirTree.addMouseListener(
      new MouseAdapter()
      {
				public void mouseClicked(MouseEvent e)
				{
          if (e.getClickCount() >= 2)
          {
            TreePath sp = dirTree.getSelectionPath();
            StringBuffer tempSpot = new StringBuffer("");

            for(int i = 1, count = sp.getPathCount(); i < count; i++)
            {             
                if(tempSpot.length() > 0)
                    tempSpot.append("/");
                tempSpot.append(sp.getPathComponent(i));
            }
            
            File file = new File(tempSpot.toString());
            openFile(file);
          }
				}

				public void mousePressed(MouseEvent e)
				{
				}

				public void mouseReleased(MouseEvent e)
				{
				}
      }
    );

//目前只能使用.java文件,其他文件的编辑器尚未编写
//##    dirTree.addAcceptedExtension(".html");
//##    dirTree.addAcceptedExtension(".htm");
//##    dirTree.addAcceptedExtension(".txt");

    //##添加本地文件浏览
    setLayout(new BorderLayout());
    add(new JScrollPane(dirTree), BorderLayout.CENTER);
  }

	/**
	 * @param file
	 */
	protected void openFile(File file)
	{
    if (file.isFile())
      ide.open(file);
	}
}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -