task: use full task label to distinguish a terminal (#10469)

Spotted by @SomeoneToIgnore, in #10468 I've used a shortened task label,
which might lead to collisions.

Release Notes:

- N/A
This commit is contained in:
Piotr Osiewicz 2024-04-12 13:25:46 +02:00 committed by GitHub
parent 298e9c9387
commit a1cbc23fee
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
5 changed files with 12 additions and 5 deletions

View file

@ -25,6 +25,8 @@ pub struct TaskId(pub String);
pub struct SpawnInTerminal {
/// Id of the task to use when determining task tab affinity.
pub id: TaskId,
/// Full unshortened form of `label` field.
pub full_label: String,
/// Human readable name of the terminal tab.
pub label: String,
/// Executable command to spawn.