Comments (8)
svenefftinge
commented on May 18, 2024
2
Yes :)
from gitpod.
rinormaloku
commented on May 18, 2024
1
@svenefftinge seems like the issue is fixed. Does this mean that development on this feature can continue?
from gitpod.
svenefftinge
commented on May 18, 2024
LS https://github.com/OmniSharp/omnisharp-roslyn
from gitpod.
svenefftinge
commented on May 18, 2024
https://github.com/theia-ide/theia-csharp-extension
from gitpod.
svenefftinge
commented on May 18, 2024
C# support is blocked by OmniSharp/omnisharp-roslyn#1269
from gitpod.
svenefftinge
commented on May 18, 2024
We are transitioning to using VS Code extensions. So it doesn't make too much sense to start working on a Theia-only extension for C# at this point.
from gitpod.
apatrida
commented on May 18, 2024
@svenefftinge is C# supported via the normal VSCode extension, is this issue still relevant?
from gitpod.
stale
commented on May 18, 2024
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
from gitpod.
Related Issues (20)
- Epic: omar721588951 HOT 2
- Support pushing to PR branches
- Imposible to share keep workspaces after organization renovation
- Github Copilot Extension Support (manual install) HOT 3
- I can't get into the Gitpod workspaces HOT 1
- Gitpod Blank white pages HOT 1
- Can't start workspace from a BitBucket branch `HTTPError: Not Found` HOT 6
- Gitpod proxy not serving scripts voor webapplication
- Directly starting a workspace from a branch HOT 1
- In a multi-repo workspace, when given full urls of specific branches of the modules, origin is always set to origin/main
- websocket service down lead to unable to use gitpod HOT 3
- Gitpod variables : unable to get the value of my variable HOT 4
- Need to type CTRL + key instead of CMD + key on VNC on macOS
- Gitpod app no longer creates Badges or comments HOT 2
- Bug when connect to github
- Changes in $HOME lost after restarting workspace HOT 16
- Failed to save .. any file HOT 1
- Unable to start any workspace HOT 1
- There is no cancel button on the new prebuild screen HOT 2
- Unable to set GITPOD_IMAGE_AUTH environment variable HOT 4
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from gitpod.