public class RootFileElement extends FileElement
Constructor and Description |
---|
RootFileElement(java.util.List<VirtualFile> files,
java.lang.String name,
boolean showFileSystemRoots) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object[] |
getChildren() |
public RootFileElement(java.util.List<VirtualFile> files, java.lang.String name, boolean showFileSystemRoots)