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)