e54f4b4963
The `id` is defined to be sent only once, on creation of the handle or later. And only for workspaces that are "likely to be stable across multiple sessions". Set we add an `id` initially for pinned workspaces, and add one when the workspace is pinned. The `id` is not supposed to be human readable, so we just use a random value. |
||
|---|---|---|
| .. | ||
| handlers | ||
| protocols | ||
| mod.rs | ||