22 lines
1.3 KiB
Rust
22 lines
1.3 KiB
Rust
//! 发布页面标签的数据结构。保留稳定页面身份、标题、选中状态和开发工具类别；页面的托管所有权由模型层管理。
|
|
//!
|
|
//! Immutable page registry projections. Host navigation is rendered in sidebar.
|
|
//! IDs are session-local data and never own managed VM objects.
|
|
use serde::{Deserialize, Serialize};
|
|
|
|
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
|
|
/// 托管页面注册表的不可变投影，原生工具只使用稳定 ID 与显示元数据。
|
|
// ui_bridge::project_tabs 从当前窗口页面注册表生成；sidebar 画标签，scene 用 developer_tool 标记选择宿主管理页。
|
|
pub struct Tab {
|
|
// 会话内稳定 ID，供原生侧发起切页/关闭操作；不能直接当作 VM 对象地址。
|
|
pub id: u64,
|
|
// 本次发布的标题文本副本，原生界面显示时无需读取 VM。
|
|
pub title: String,
|
|
// 该标签是否是此窗口当前活动页；页面注册表顺序与选中状态分别表示。
|
|
// 投影可反映待提交切页请求，不能仅凭这一字段推断新页面布局已经发布成功。
|
|
pub active: bool,
|
|
// 开发工具页的类别标识；普通页省略此字段，反序列化缺失字段时默认为 None。
|
|
#[serde(default, skip_serializing_if = "Option::is_none")]
|
|
pub developer_tool: Option<String>,
|
|
}
|