Theia API Documentation v1.65.0
    Preparing search index...
    interface PluginIconThemeDocument {
        file?: string;
        fileExtensions?: { [extension: string]: string };
        fileNames?: { [fileName: string]: string };
        folder?: string;
        folderExpanded?: string;
        folderNames?: { [folderName: string]: string };
        folderNamesExpanded?: { [folderName: string]: string };
        fonts: PluginFontDefinition[];
        hidesExplorerArrows?: boolean;
        highContrast?: PluginIconsAssociation;
        iconDefinitions: PluginIconDefinitions;
        languageIds?: { [languageId: string]: string };
        light?: PluginIconsAssociation;
        rootFolder?: string;
        rootFolderExpanded?: string;
        showLanguageModeIcons?: boolean;
    }

    Hierarchy (View Summary)

    Index

    Properties

    file?: string
    fileExtensions?: { [extension: string]: string }
    fileNames?: { [fileName: string]: string }
    folder?: string
    folderExpanded?: string
    folderNames?: { [folderName: string]: string }
    folderNamesExpanded?: { [folderName: string]: string }
    hidesExplorerArrows?: boolean
    highContrast?: PluginIconsAssociation
    iconDefinitions: PluginIconDefinitions
    languageIds?: { [languageId: string]: string }
    rootFolder?: string
    rootFolderExpanded?: string
    showLanguageModeIcons?: boolean