GitHub repository: Devpodio/terminal-extra
Primary language: TypeScript
Description: A Theia-ide extension that adds terminal preferences