Workspace Navigator

Workspace settings

  • Rename the workspace
  • Change the workspace icon
  • Delete the workspace (make sure you've synced your workspace with Git before)

Workspace search

  • Search supports two modes: Files and Elements
  • Search finds the files or elements whose name contains the search terms; use multiple words to get more specific results
  • For more on element IDs, see NaCl in detail

File tree

  • Create, rename or delete files and folders
  • Auto-focuses on the file currently active in the editor

Did this page help you?