public final class JShellRootType extends ConsoleRootType
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
CONTENT_ID |
SEPARATOR| Constructor and Description |
|---|
JShellRootType() |
| Modifier and Type | Method and Description |
|---|---|
void |
fileOpened(VirtualFile file,
FileEditorManager source) |
java.lang.String |
getContentPathName(java.lang.String id) |
java.lang.String |
getDefaultFileExtension() |
static JShellRootType |
getInstance() |
getConsoleTypeId, getEntrySeparator, getHistoryPathNamecontainsFile, fileClosed, findByClass, findById, findFile, forFile, getAllRootTypes, getDisplayName, getId, isHidden, isIgnored, registerTreeUpdater, substituteIcon, substituteLanguage, substituteNamepublic static final java.lang.String CONTENT_ID
public static JShellRootType getInstance()
public java.lang.String getDefaultFileExtension()
getDefaultFileExtension in class ConsoleRootTypepublic java.lang.String getContentPathName(java.lang.String id)
getContentPathName in class ConsoleRootTypepublic void fileOpened(VirtualFile file, FileEditorManager source)
fileOpened in class RootType