Closed dberrocal-git closed 2 years ago
Not the best place to ask
@dabm-git thank you for the issue, I would suggest creating a github discussion or a post on the forum instead, where other questions are asked.
the names of open files
Using the @theia/editor
dependency, you'll have access to the EditorManager
which knows about all opened editors (using .all
).
@inject(EditorManager)
protected readonly editorManager: EditorManager;
getFilenames(): string[] {
const editors = this.editorManager.all;
....
}
the user is using a git tool, the number of changes of the git branch
You'll probably want to take a look at the @theia/scm
dependency.
Not the best place to ask, but, how to get e.g: the names of open files, if they are modified, if the user is using a git tool, the number of changes of the git branch....?