📄 pydevprojectsfilter.java
字号:
package org.python.pydev.navigator.filters;
import org.eclipse.core.resources.IProject;
import org.eclipse.core.runtime.IAdaptable;
import org.eclipse.jface.viewers.Viewer;
import org.eclipse.jface.viewers.ViewerFilter;
import org.python.pydev.plugin.nature.PythonNature;
public class PydevProjectsFilter extends ViewerFilter{
@Override
public boolean select(Viewer viewer, Object parentElement, Object element) {
if(element instanceof IAdaptable){
IAdaptable adaptable = (IAdaptable) element;
Object adapted = adaptable.getAdapter(IProject.class);
if(adapted instanceof IProject){
IProject project = (IProject) adapted;
return PythonNature.getPythonNature(project) != null;
}
}
return true;
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -