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, getHistoryPathName
containsFile, fileClosed, findByClass, findById, findFile, forFile, getAllRootTypes, getDisplayName, getId, isHidden, isIgnored, registerTreeUpdater, substituteIcon, substituteLanguage, substituteName
public static final java.lang.String CONTENT_ID
public static JShellRootType getInstance()
public java.lang.String getDefaultFileExtension()
getDefaultFileExtension
in class ConsoleRootType
public java.lang.String getContentPathName(java.lang.String id)
getContentPathName
in class ConsoleRootType
public void fileOpened(VirtualFile file, FileEditorManager source)
fileOpened
in class RootType