Workspace Properties activeTextEditor: TextEditor | undefined textEditors: TextEditor[] Events onChangeActiveTextEditor: TextEditor | undefined