Provide a default value for is_via_ssh
when it isn't sent via older clients (#18874)
Release Notes: - N/A
This commit is contained in:
parent
f33019c885
commit
744891f15f
1 changed files with 2 additions and 0 deletions
|
@ -117,6 +117,7 @@ pub struct EditorEvent {
|
||||||
/// Whether the user has copilot enabled for the language of the file opened or saved
|
/// Whether the user has copilot enabled for the language of the file opened or saved
|
||||||
pub copilot_enabled_for_language: bool,
|
pub copilot_enabled_for_language: bool,
|
||||||
/// Whether the client is opening/saving a local file or a remote file via SSH
|
/// Whether the client is opening/saving a local file or a remote file via SSH
|
||||||
|
#[serde(default)]
|
||||||
pub is_via_ssh: bool,
|
pub is_via_ssh: bool,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -175,6 +176,7 @@ pub struct EditEvent {
|
||||||
pub duration: i64,
|
pub duration: i64,
|
||||||
pub environment: String,
|
pub environment: String,
|
||||||
/// Whether the edits occurred locally or remotely via SSH
|
/// Whether the edits occurred locally or remotely via SSH
|
||||||
|
#[serde(default)]
|
||||||
pub is_via_ssh: bool,
|
pub is_via_ssh: bool,
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue