📄 navigator.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 + -