Options
All
  • Public
  • Public/Protected
  • All
Menu

Namespace WorkspaceFrontendContribution

Index

Variables

DEFAULT_FILE_FILTER: FileDialogTreeFilters = ...

File filter for all Theia and VS Code workspace file types.