-
Notifications
You must be signed in to change notification settings - Fork 1.3k
[papi] List editor options #18530
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[papi] List editor options #18530
Conversation
repeated EditorOption options = 1; | ||
} | ||
|
||
message EditorOption { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
fyi @svenefftinge @loujaybee we decided to call it Editor not IDE here to be aligned how we talk in our docs and on UI
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
generally looks good but i did not test
/hold
if no-one objects when merge when you are ready.
|
components/public-api/gitpod/experimental/v1/editor_service.proto
Outdated
Show resolved
Hide resolved
@akosyakov I'm not sure how to make pretty types. Protobuf enums look strict:
|
Description
Implements the server's
getIDEOptions
in a newEditorService
namedListEditorOptions
. It is a stripped down version of the original method, only exposing these fields:id
title
type
logo
label
version
Sample response:
Summary generated by Copilot
🤖 Generated by Copilot at f88fc14
This pull request adds a new editor service to the public API, which allows clients to query the available IDE options for the user. It also removes the obsolete workspaces service code from the public API TypeScript package. It involves changes to the gitpod service API, the public API server, the editor service protobuf definition, and the generated code for the editor service in Go and TypeScript.
Related Issue(s)
Fixes EXP-454
How to test
Documentation
Preview status
Gitpod was successfully deployed to your preview environment.
Build Options
Build
Run the build with werft instead of GHA
Run Leeway with
--dont-test
Publish
Installer
Add desired feature flags to the end of the line above, space separated
Preview Environment / Integration Tests
If enabled this will build
install/preview
If enabled this will create the environment on GCE infra
Valid options are
all
,workspace
,webapp
,ide
,jetbrains
,vscode
,ssh
. If enabled,with-preview
andwith-large-vm
will be enabled./hold