Jonas Helming
Jonas Helming
Yes, this would indeed be a nice addition. Are you interested in a contribution?
@sdirix
Might require fixing: https://github.com/eclipse-theia/theia/issues/16034
We should also set some reasonable default I guess
Sounds great!
Should we make the Gemini issue a blocker @ndoschek
@KR155E Hi, do you find the time to get back to this? Otherwise, we would archive this PR for now.