Properties
Protected Readonly diffSelectWidget
Protected hasGeneratedWidgetAutomatically
hasGeneratedWidgetAutomatically: boolean = false
Protected Readonly memoryWidgetManager
Readonly onDidChangeTrackableWidgets
onDidChangeTrackableWidgets: Event<Widget[]> = ...
Protected Readonly onDidChangeTrackableWidgetsEmitter
onDidChangeTrackableWidgetsEmitter: Emitter<Widget[]> = ...
Protected Readonly placeholderWidget
Protected Readonly shell
shell: ApplicationShell
Protected Readonly toDispose
toDispose: DisposableCollection = ...
Protected Readonly widgetManager
widgetManager: WidgetManager
Static Readonly DOCK_PANEL_CLASS
DOCK_PANEL_CLASS: "memory-dock-panel" = 'memory-dock-panel'
Static Readonly DOCK_PANEL_ID
DOCK_PANEL_ID: "theia-main-content-panel" = 'theia-main-content-panel'
Static Readonly ID
ID: "memory-layout-widget" = 'memory-layout-widget'
Static Readonly LABEL
LABEL: string = ...
Static Readonly MEMORY_INSPECTOR_TABBAR_CLASS
MEMORY_INSPECTOR_TABBAR_CLASS: "memory-dock-tabbar" = 'memory-dock-tabbar'
Static Readonly THEIA_TABBAR_CLASSES
THEIA_TABBAR_CLASSES: string[] = ...
Construct a new panel.