📄 filetreecontentprovider.java
字号:
package org.python.pydev.tree;
import java.io.File;
import org.eclipse.jface.viewers.ITreeContentProvider;
import org.eclipse.jface.viewers.Viewer;
public class FileTreeContentProvider implements ITreeContentProvider {
public Object[] getChildren(Object element) {
Object[] kids = ((File) element).listFiles();
return kids == null ? new Object[0] : kids;
}
public Object[] getElements(Object element) {
return getChildren(element);
}
public boolean hasChildren(Object element) {
return getChildren(element).length > 0;
}
public Object getParent(Object element) {
if (element == null) {
return null;
}
if (element instanceof File) {
return ((File) element).getParent();
}else if(element instanceof String){
return new File((String) element).getParent();
}
System.out.println("element not instance of File of String: " + element.getClass().getName() + " "
+ element.toString());
return null;
}
public void dispose() {
}
public void inputChanged(Viewer viewer, Object old_input, Object new_input) {
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -