?? navigator.java
字號(hào):
/*
* 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);
}
}
?? 快捷鍵說明
復(fù)制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號(hào)
Ctrl + =
減小字號(hào)
Ctrl + -