📄 pyfilelabelprovider.java
字号:
/*
* Created on May 19, 2006
*/
package org.python.pydev.plugin;
import org.eclipse.core.resources.IFile;
import org.eclipse.jface.viewers.ILabelProvider;
import org.eclipse.jface.viewers.ILabelProviderListener;
import org.eclipse.swt.graphics.Image;
import org.eclipse.ui.model.WorkbenchLabelProvider;
public class PyFileLabelProvider implements ILabelProvider {
private WorkbenchLabelProvider provider;
public PyFileLabelProvider() {
provider = new WorkbenchLabelProvider();
}
public Image getImage(Object element) {
return provider.getImage(element);
}
public String getText(Object element) {
if(element instanceof IFile){
IFile f = (IFile) element;
StringBuffer buffer = new StringBuffer();
buffer.append(f.getName());
buffer.append(" (");
buffer.append(f.getFullPath().removeFileExtension().removeLastSegments(1));
buffer.append(")");
return buffer.toString();
}
return provider.getText(element);
}
public void addListener(ILabelProviderListener listener) {
provider.addListener(listener);
}
public void dispose() {
provider.dispose();
}
public boolean isLabelProperty(Object element, String property) {
return provider.isLabelProperty(element, property);
}
public void removeListener(ILabelProviderListener listener) {
provider.removeListener(listener);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -