Extensions

  • How does it work?
  • Extension Points:
    • ide-perspective
    • ide-view
    • ide-editor
    • ide-template
    • ide-menu
    • ide-themes
    • ide-workspace-menu-new-template
    • api-modules
    • ide-operations-menu
    • ide-documents-content-type
    • ide-documents-menu
    • ide-git-menu
    • ide-terminal-menu
    • ide-discussions-menu
    • ide-database-menu
    • ide-repository-menu
  • Events
    • editor.file.saved
    • editor.file.dirty
    • status.message
    • status.caret
    • status.error
    • database.database.selection.changed
    • database.datasource.selection.changed
    • database.sql.execute
    • database.sql.run
    • git.repository.run
    • workspace.file.selected
    • workspace.file.created
    • workspace.file.open
    • workspace.file.pull
    • workspace.file.deleted
    • workspace.file.renamed
    • workspace.file.moved
    • workspace.file.copied
    • workspace.file.properties
    • workspace.file.published
    • workspace.project.exported
    • repository.resource.selected
    • repository.resource.created
    • repository.resource.open
    • repository.resource.deleted
Edit