📄 filetreelabelprovider.java
字号:
package org.python.pydev.tree;
import java.io.File;
import org.eclipse.jface.viewers.LabelProvider;
import org.eclipse.swt.graphics.Image;
import org.python.pydev.core.bundle.ImageCache;
import org.python.pydev.plugin.PydevPlugin;
import org.python.pydev.ui.UIConstants;
public class FileTreeLabelProvider extends LabelProvider {
ImageCache imageCache;
/**
*
*/
public FileTreeLabelProvider() {
imageCache = new ImageCache(PydevPlugin.getDefault().getBundle().getEntry("/"));
}
public String getText(Object element) {
return ((File) element).getName();
}
public Image getImage(Object element) {
if (((File) element).isDirectory()) {
return imageCache.get(UIConstants.FOLDER_ICON);
} else {
return imageCache.get(UIConstants.FILE_ICON);
}
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -