search

usethesource / rascal-language-servers

An LSP server for Rascal which includes an easy-to-use LSP generator for languages implemented in Rascal, and an interactive terminal REPL.
BSD 2-Clause "Simplified" License
10 stars 7 forks source link

Add project name to started terminal #294

Closed DavyLandman closed 12 months ago

DavyLandman commented 12 months ago

Fixes #224

image or in case of multiple terminals: image

jurgenvinju commented 12 months ago

can we remove "project:" because it will be clear that it is a project name because it is a project name, in 90% of the cases. Perhaps not when the project is the rascal project :-) But that's just me mostly.

sonarcloud[bot] commented 12 months ago

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
No Duplication information No Duplication information

DavyLandman commented 12 months ago

Ok, done. I've used a shorter name