@@ -153,18 +153,6 @@ message Workspace {
153153
154154 // status is the current status of this Workspace.
155155 WorkspaceStatus status = 6 ;
156-
157- // editor is the editor to be used in this workspace
158- EditorReference editor = 7 ;
159- }
160-
161- message EditorReference {
162- string name = 1 ;
163- string version = 2 ;
164-
165- // prefer_toolbox indicates whether the editor should be launched with the
166- // JetBrains Toolbox instead of JetBrains Gateway
167- bool prefer_toolbox = 3 ;
168156}
169157
170158// WorkspaceStatus represents the currently observed status of a Workspace, including data about child resources that belong to this Workspace.
@@ -302,6 +290,15 @@ message WorkspaceInstanceStatus {
302290 optional bool stopped_by_request = 11 ;
303291 }
304292
293+ message EditorReference {
294+ string name = 1 ;
295+ string version = 2 ;
296+
297+ // prefer_toolbox indicates whether the editor should be launched with the
298+ // JetBrains Toolbox instead of JetBrains Gateway
299+ bool prefer_toolbox = 3 ;
300+ }
301+
305302 // version of the status update. Workspace instances themselves are unversioned,
306303 // but their statuus has different versions.
307304 // The value of this field has no semantic meaning (e.g. don't interpret it as
@@ -334,6 +331,9 @@ message WorkspaceInstanceStatus {
334331 // Note: this is a best-effort field and more often than not will not be present. Its absence does not
335332 // indicate the absence of a working copy.
336333 GitStatus git_status = 9 ;
334+
335+ // editor is the editor to be used in this workspace
336+ EditorReference editor = 10 ;
337337}
338338
339339// PortPolicy defines the accssbility policy of a workspace port is guarded by an authentication in the proxy
0 commit comments