diff --git a/crates/app-iced/src/app/update/settings/java.rs b/crates/app-iced/src/app/update/settings/java.rs index 2dde7f4..399f998 100644 --- a/crates/app-iced/src/app/update/settings/java.rs +++ b/crates/app-iced/src/app/update/settings/java.rs @@ -72,6 +72,35 @@ impl App { Task::none() } + /// 三键写盘成功之后,请 presenter 重发一次设置快照(M204)。 + /// + /// ## 为什么需要这一拍 + /// + /// 本组的三键(`java.default_memory_mb` / `java.extra_args` / `java.selected_path`)走的是页面 + /// 自己的 `SettingStore`(`pages/settings/java/store.rs`:`set` 几个键 + **一次** `save()`), + /// **不经过** `AppCommand::SetSetting` 的写盘分支。而 `CoreEvent::SettingsChanged` 全仓只有两处 + /// 发出(`dispatch.rs` 的 `SetSetting` 分支、`host/mod.rs` 的 `refresh_all`)——不请一次, + /// `AppState::settings_groups` 里 java 组那几行会停在旧值,直到下一次任何别的写入。 + /// + /// ## 为什么不是 `AppCommand::RefreshAll` + /// + /// `refresh_all()` 除重发快照之外还会 `versions::spawn_list`(拉版本清单)与 + /// `start_update_check`(自更新检查)——每点一次「保存内存」打两个网络请求,代价与动作不相称。 + /// 动作键 `JAVA_REFRESH_ACTION` 走的是同一条 `SetSetting` 分支的四个副作用臂,不写盘、不发网络。 + /// + /// ## 抓得住 / 抓不住 + /// + /// 抓得住:`tests/java_refresh.rs` 的 `saving_the_java_form_refreshes_the_host_settings_snapshot` + /// 用**真 `CoreHost` + 临时数据根**跑完整链,摘掉这一行的 dispatch 就红(实测)。 + /// 抓不住:presenter 是否会因为**别的原因**(下一次外部写盘)自己刷新——所以那条用例的判据是 + /// 「写盘后**当场**快照里有新值」,而不是「最终会有」。 + fn request_settings_refresh(&mut self) { + self.dispatch(AppCommand::SetSetting { + key: unlucky_presenter::dto::JAVA_REFRESH_ACTION.to_string(), + value: String::new(), + }); + } + /// 记一次「草稿变了」:清掉旧回执(它已经在说另一份配置了),并让视图重建。 fn touch_java(&mut self) { self.settings.java.dirty = true; @@ -231,6 +260,8 @@ impl App { self.settings.java.hydrate(snapshot); self.settings.java.context = self.java_context(); self.settings.java.notice = Some(Notice::DefaultSet(binary.to_string())); + // M204:这一笔也写进 launcher.json 了(`java.selected_path`),请 host 重发快照。 + self.request_settings_refresh(); } Err(error) => self.settings.java.notice = Some(write_notice(error)), } @@ -257,6 +288,8 @@ impl App { self.settings.java.hydrate(snapshot); self.settings.java.context = self.java_context(); self.settings.java.notice = Some(Notice::Saved); + // M204:内存 + JVM 参数已经落盘(一次 `store.save()`),请 host 重发快照。 + self.request_settings_refresh(); } Err(error) => self.settings.java.notice = Some(write_notice(error)), } diff --git a/crates/app-iced/src/app/update/settings/java/prefs.rs b/crates/app-iced/src/app/update/settings/java/prefs.rs index b02fbd7..a36dacc 100644 --- a/crates/app-iced/src/app/update/settings/java/prefs.rs +++ b/crates/app-iced/src/app/update/settings/java/prefs.rs @@ -85,6 +85,10 @@ impl App { // 顺序要紧:`start_java_scan` 会清 `notice`,所以回执写在它之后。 let _ = self.start_java_scan(); self.settings.java.notice = Some(Notice::PrefsSaved); + // M204:三键也已落盘(`java.installRoot` / `java.auto_install` / `java.vendorPriority` + // 一次 `store.save()`),请 host 重发快照——否则 `AppState::settings_groups` 里 + // java 组那三行停在旧值,要等下一次任何别的写入才跟上。 + self.request_settings_refresh(); } Err(error) => self.settings.java.notice = Some(write_notice(error)), } diff --git a/crates/app-iced/src/app/update/settings/tests.rs b/crates/app-iced/src/app/update/settings/tests.rs index 8d42d94..ea48080 100644 --- a/crates/app-iced/src/app/update/settings/tests.rs +++ b/crates/app-iced/src/app/update/settings/tests.rs @@ -394,3 +394,7 @@ fn testing_without_configuration_does_nothing() { /// M175 r1 复审的用例(拆出来守 400 行硬线;`gate::every_source_file_stays_under_the_line_limit` 会红)。 #[path = "tests/java.rs"] mod java; + +/// M204:Java 组写盘之后请 host 重发快照(动作键 `JAVA_REFRESH_ACTION`)。 +#[path = "tests/java_refresh.rs"] +mod java_refresh; diff --git a/crates/app-iced/src/app/update/settings/tests/java_refresh.rs b/crates/app-iced/src/app/update/settings/tests/java_refresh.rs new file mode 100644 index 0000000..1d9e0dd --- /dev/null +++ b/crates/app-iced/src/app/update/settings/tests/java_refresh.rs @@ -0,0 +1,307 @@ +//! M204:Java 组**写盘成功之后请 host 重发设置快照**这一拍(`JAVA_REFRESH_ACTION`)。 +//! +//! ## 为什么需要这一条(缺口是什么) +//! +//! Java 组的三键(`java.default_memory_mb` / `java.extra_args` / `java.selected_path`)走的是页面 +//! 自己的 `SettingStore`(`pages/settings/java/store.rs`:`set` 几个键 + **一次** `save()`)—— +//! 那是**同步、原子**的一次落盘,但**不经过** `AppCommand::SetSetting` 的写盘分支。而 +//! `CoreEvent::SettingsChanged` 全仓只有两处发出:`host/dispatch.rs` 的 `SetSetting` 分支与 +//! `host/mod.rs` 的 `refresh_all`。于是三键写成功之后,`AppState::settings_groups` 里 java 组那几行 +//! 会**停在旧值**,直到下一次任何别的写入(改并发、改主题……)顺手带一份新快照回来。 +//! +//! M204 的修法:落盘成功之后派发一条动作键(`dto::JAVA_REFRESH_ACTION`,`host::settings::set` +//! 见到它只返回 `Ok(())`,不写盘),让 `SetSetting` 分支照常重发 `SettingsChanged`。**没有**改用 +//! `RefreshAll`:那个还会 `versions::spawn_list` 与 `start_update_check`,每点一次保存打两个网络请求。 +//! +//! ## 两条用例证明的事不同 +//! +//! | 用例 | 后端 | 证明 | +//! |---|---|---| +//! | 第一条 | **真 `CoreHost` + 临时数据根** | 写盘 ⇒ 快照真的变了(磁盘 + 快照两头的字节级证据) | +//! | 第二条 | 假后端(记账)+ 本地校验拒绝 | **被拒的保存不许请求刷新**(那一拍只该跟在真落盘之后) | + +use std::cell::RefCell; +use std::rc::Rc; + +use unlucky_design::color::SchemeFlavor; +use unlucky_presenter::dto::{find_row, AppCommand, AppEvent, Backend, SettingGroupView}; +use unlucky_presenter::settings_bridge::SettingsBridge; + +use crate::cli::Options; +use crate::pages; +use crate::theme::Families; + +use super::*; + +/// 本组要断言的键(与 presenter 快照 / schema 同名)。 +const JVM: &str = "java.extra_args"; + +const FAMILIES: Families = Families { + text: "Segoe UI", + display: "Segoe UI", + mono: "Consolas", +}; + +/// 一条 Java 分组消息 → 页面消息(与 `tests/java.rs` 同一个漏斗)。 +fn java(message: pages::settings::java::Message) -> Message { + Message::Page(pages::Message::Settings( + pages::settings::GroupMessage::Java(message), + )) +} + +/// 快照里某个键的**上屏文本**(`None` = 快照里没这一行)。 +/// +/// 用 `value_text` 而不是控件序号:Java 组这三个键里 `extra_args` / `selected_path` 是 text 行, +/// `value_text` 就是文件里的原文;内存那一行是四档 choice(见报告「没做/没验」第 ③ 条), +/// 它的**当前值**表达在 `options[selected]` 上,所以本文件不对内存行做取值断言——那会把 +/// 「presenter 的四档表达不了 6144」这件事伪装成绿。 +fn row_value(groups: &[SettingGroupView], key: &str) -> Option { + find_row(groups, key).map(|row| row.value_text.clone()) +} + +/// **主用例**:改内存 + JVM 参数 ⇒ 点保存 ⇒ 磁盘变了 **且** host 发回来的快照也变了。 +/// +/// 链子全长(与本组的产品路径逐段对应):`Message::EditMemory/EditJvm` → `State` 草稿 → +/// `Message::Save` → `store::save`(一次 `store.save()` 写两个键)→ `request_settings_refresh()` +/// → 真 `CoreHost` 的 `SetSetting` 分支(`settings::set` 认动作键、不写盘)→ +/// `CoreEvent::SettingsChanged(settings::groups(env))` → `AppState::settings_groups` → +/// `pages::Model::settings`。断言落在**磁盘字节**与**快照文本**上,不落在任何中间变量上。 +/// +/// 抓得住: +/// 1. 摘掉 `request_settings_refresh()` 的 dispatch(`save_java_settings` 里那一行)⇒ 快照仍是 +/// 空串 ⇒ 红(**这就是本用例的变异验证**,且是本文件第二条都不红的唯一原因); +/// 2. 写盘没真发生(`store::save` 的 `save()` 被删)⇒ 磁盘断言红; +/// 3. 动作键在 presenter 侧被当成真键(`host::settings::set` 少了那条早退)⇒ `store.set` 报 +/// 「未知键」⇒ 页面拿到 error Toast、快照不更新 ⇒ 红; +/// 4. 快照回流被丢掉(`view::model` 的 `settings:` 那行被删)⇒ `app.view.settings` 空 ⇒ 红。 +/// +/// 抓不住:真实鼠标点击(本用例从 `Message` 起跑);「页面上的值是不是旧值」这一半——写盘成功后 +/// 页面本来就该显示新值,旧值那一半由 `tests/java.rs` 的拒绝用例守(本地校验不过时文件一个字节 +/// 不动、回执是具名原因)。 +#[test] +fn saving_the_java_form_refreshes_the_host_settings_snapshot() { + let dir = std::env::temp_dir().join(format!("ull-m204-java-refresh-{}", std::process::id())); + let _ = std::fs::remove_dir_all(&dir); + std::fs::create_dir_all(dir.join(".ULL/config")).expect("config 目录"); + let config = dir.join(".ULL/config/launcher.json"); + + let env = unlucky_presenter::host::HostEnv::at_root(&dir); + let mut app = App::with_presenter( + Options { + data_dir: Some(dir.clone()), + ..Options::default() + }, + FAMILIES, + SchemeFlavor::Light, + Box::new(unlucky_presenter::host::CoreHost::new(env)), + // 设置桥也指向同一个根:不碰用户的真配置。 + SettingsBridge::with_path(unlucky_presenter::backend::config_path(&dir)), + ); + // 首屏:产品路径在 `on_boot` 里派的就是这一条(真 host 会发 `SettingsChanged`)。 + app.dispatch(AppCommand::RefreshAll); + assert_eq!( + row_value(app.settings_snapshot(), JVM).as_deref(), + Some(""), + "临时根里没有 `java.extra_args` ⇒ 快照这一行是空串(出厂值就是没有额外参数)" + ); + + let _ = app.update(java(pages::settings::java::Message::EditMemory( + "6144".to_string(), + ))); + let _ = app.update(java(pages::settings::java::Message::EditJvm( + "-XX:+UseG1GC".to_string(), + ))); + let _ = app.update(java(pages::settings::java::Message::Save)); + + let written = std::fs::read_to_string(&config).expect("写回之后 launcher.json 必须存在"); + assert!( + written.contains("\"default_memory_mb\": 6144"), + "磁盘上必须真的有 6144:{written}" + ); + assert!( + written.contains("-XX:+UseG1GC"), + "磁盘上必须真的有那段 JVM 参数:{written}" + ); + + assert_eq!( + row_value(app.settings_snapshot(), JVM).as_deref(), + Some("-XX:+UseG1GC"), + "host 必须为刚写进去的三键重发一次快照(否则 AppState 里这一行还是旧值)" + ); + assert_eq!( + row_value(&app.view.settings, JVM).as_deref(), + Some("-XX:+UseG1GC"), + "页面模型也得跟着换:下一帧画的是 `Model.settings`" + ); + + std::fs::remove_dir_all(&dir).ok(); +} + +// --------------------------------------------------------------- 被拒的保存不许请求刷新 + +/// 只记账、不回事件的后端(本用例只关心「有没有发出那条动作键」)。 +struct Recorder(Rc>>); + +impl Backend for Recorder { + fn drain_events(&mut self) -> Vec { + Vec::new() + } + + fn dispatch(&mut self, command: AppCommand) { + self.0.borrow_mut().push(command); + } +} + +/// 本地校验把保存拦下来时,**一次刷新都不许请求**:那一拍只该跟在真落盘之后。 +/// +/// 抓得住:把 `request_settings_refresh()` 挪到 `validate()` 之前(或无条件调用)⇒ 这里能看见 +/// 动作键 ⇒ 红。抓不住:写盘失败的回执文案(那是 `tests/java.rs` 的 `write_notice` 用例)。 +#[test] +fn a_refused_save_does_not_ask_for_a_refresh() { + use pages::settings::java::Notice; + + let commands = Rc::new(RefCell::new(Vec::new())); + let dir = std::env::temp_dir().join(format!("ull-m204-java-refuse-{}", std::process::id())); + let _ = std::fs::remove_dir_all(&dir); + std::fs::create_dir_all(dir.join("config")).expect("config 目录"); + let path = dir.join("config/launcher.json"); + + let mut app = App::with_presenter( + Options::default(), + FAMILIES, + SchemeFlavor::Light, + Box::new(Recorder(Rc::clone(&commands))), + SettingsBridge::with_path(&path), + ); + // 128 MB 低于 schema 的下限(512):本地校验就该拦下,不写盘。 + let _ = app.update(java(pages::settings::java::Message::EditMemory( + "128".to_string(), + ))); + let _ = app.update(java(pages::settings::java::Message::Save)); + + // 越界的内存要在本地就被拒(具名原因 = schema 下限 512 那条文案,不是通用的「写不进去」)。 + let notice = app + .settings + .java + .notice + .clone() + .expect("被拒的保存必须留下一条回执"); + let Notice::Refused(reason) = notice else { + panic!("越界的内存必须是具名的本地拒绝:{notice:?}"); + }; + assert_eq!( + reason.label(), + unlucky_i18n::Key::SettingsJavaReasonMemoryRange, + "拒绝原因要落到「超出允许范围」那条文案上" + ); + assert!(!path.exists(), "被拒的保存不许碰磁盘"); + assert!( + !commands.borrow().iter().any(|command| matches!( + command, + AppCommand::SetSetting { key, .. } + if key == unlucky_presenter::dto::JAVA_REFRESH_ACTION + )), + "没落盘就没有可刷新的事实(实际下发:{:?})", + commands.borrow() + ); + + std::fs::remove_dir_all(&dir).ok(); +} + +/// 真的落盘时,动作键**必须**发出去(正面那一半;与第一条互为背书)。 +/// +/// 为什么还要这一条:第一条用真 `CoreHost`,它的失败可能是「快照没回来」的任意一环;这一条把 +/// 「到底有没有派出那条动作键」单独钉住,红的行号不同,排查时不必再猜是哪一环。 +/// +/// 抓得住:`request_settings_refresh()` 的键名写错(比如漏了 `action` 段)⇒ presenter 会把它当 +/// 真键报「未知键」,而这条用例在本层就能看见键名对不对。 +/// 抓不住:presenter 收到动作键之后有没有真的重发快照(那是第一条的事)。 +#[test] +fn a_successful_save_dispatches_the_refresh_action_key() { + let commands = Rc::new(RefCell::new(Vec::new())); + let dir = std::env::temp_dir().join(format!("ull-m204-java-dispatch-{}", std::process::id())); + let _ = std::fs::remove_dir_all(&dir); + std::fs::create_dir_all(dir.join("config")).expect("config 目录"); + let path = dir.join("config/launcher.json"); + + let mut app = App::with_presenter( + Options::default(), + FAMILIES, + SchemeFlavor::Light, + Box::new(Recorder(Rc::clone(&commands))), + SettingsBridge::with_path(&path), + ); + let _ = app.update(java(pages::settings::java::Message::EditJvm( + "-XX:+UseG1GC".to_string(), + ))); + let _ = app.update(java(pages::settings::java::Message::Save)); + + assert!(path.exists(), "这一条的前提是保存真的落盘了(临时根可写)"); + assert!( + commands.borrow().iter().any(|command| matches!( + command, + AppCommand::SetSetting { key, .. } + if key == unlucky_presenter::dto::JAVA_REFRESH_ACTION + )), + "落盘之后必须派发动作键(实际下发:{:?})", + commands.borrow() + ); + + std::fs::remove_dir_all(&dir).ok(); +} + +// --------------------------------------------------------------- 「立即扫描」真的接线 + +/// 「立即扫描」在 App 层是**真接线**的:`Message::Scan` ⇒ 起一次真扫盘(不是只画了颗按钮)。 +/// +/// 为什么这一条住在本文件(而不是 `tests/java.rs`):那个文件 374 行、`tests.rs` 正好 400 行, +/// 再开一个模块文件就要往 `tests.rs` 加一行 `mod`(400 → 401,撞 `gate` 的 400 行红线)。 +/// 主题上也勉强算同一族:两者都是「设置页那一组对 App 做了什么」的守卫(这条守扫描入口, +/// 上面几条守写回闭环)。 +/// +/// 抓得住:`on_settings_java` 的 `Message::Scan => return self.start_java_scan()` 被改成 +/// `Task::none()`(只画按钮不接线 —— 用户在早期投诉里点名的那一条)⇒ `report().running` +/// 仍是 `false`、`scanning` 仍是 `None` ⇒ 红(实测见报告「变异验证」M3)。 +/// 抓不住:扫描**结论**是否写对了(那是 `pages/settings/java/tests/runtime.rs` 的事), +/// 也抓不住真实鼠标点击(本用例从 `Message` 起跑)。 +#[test] +fn pressing_scan_starts_a_real_scan() { + // 用截图档构造(`Options.screenshot = Some(..)`)**只为一个目的**:让首屏那次 + // `auto_scan_java_if_due` 不发生(`hydrate_java_settings` 的截图分支灌种子后直接 return), + // 于是「开局没有扫描在跑」这个前提是确定的。手动点「立即扫描」走的是**同一条产品代码** + // (`start_java_scan` → `ScanSlot::start`),截图档不拦它。 + let dir = std::env::temp_dir().join(format!("ull-m204-java-scan-{}", std::process::id())); + let _ = std::fs::remove_dir_all(&dir); + std::fs::create_dir_all(dir.join("config")).expect("config 目录"); + let path = dir.join("config/launcher.json"); + let mut app = App::with_presenter( + Options { + screenshot: Some(std::path::PathBuf::from("m204-scan.png")), + ..Options::default() + }, + FAMILIES, + SchemeFlavor::Light, + Box::new(Recorder(Rc::new(RefCell::new(Vec::new())))), + SettingsBridge::with_path(&path), + ); + assert!( + !app.settings.java.scan.report().running, + "这一条的前提:构造时没有扫描在跑" + ); + + let _ = app.update(java(pages::settings::java::Message::Scan)); + + let report = app.settings.java.scan.report(); + assert!( + report.running, + "「立即扫描」必须真的起一条扫描线程:{report:?}" + ); + assert!( + app.settings.java.scanning.is_some(), + "状态行要能区分「正在扫描」(`scanning` 不能还是 None)" + ); + + // 别把这条用例起的真扫盘留给后面的用例:置取消位,线程会在下一个候选边界退出。 + app.settings.java.scan.cancel(); + std::fs::remove_dir_all(&dir).ok(); +} diff --git a/crates/app-iced/src/app/view.rs b/crates/app-iced/src/app/view.rs index da2d7fc..e808b8b 100644 --- a/crates/app-iced/src/app/view.rs +++ b/crates/app-iced/src/app/view.rs @@ -30,6 +30,44 @@ use instances::{detail_of, runtime_status_row, supporting_line}; use logs::logs_model; use update::update_of; +/// 上一次记过的「设置页看到的组 + 主题」(`None` = 还没记过)。 +/// +/// 只给 [`note_screenshot_group`] 用:`view` 每帧都会跑,日志必须只在身份**变化**时落一行。 +/// 用 `Mutex` 而不是 `AtomicUsize` 位打包:主题是字符串(`ull-m3-light` / `ull-m3-dark`), +/// 把两件事挤进一个整数要引入「高半位 = 深色」这种与主题命名耦合的约定,不如老实用一对值。 +static SHOT_GROUP_LOGGED: std::sync::Mutex> = std::sync::Mutex::new(None); + +/// D30 §2.1 的「哪一行日志证明它是哪个组/主题」:出图通道专用的一行身份日志。 +/// +/// ## 为什么必须有 +/// +/// 举证图自带不了身份。M201 的事故就是 worker 交了一张「外观」页当下载组的证据,报告里的结论 +/// 建立在一个错的「这是哪个组」上,直到视觉 reviewer 自己重拍才发现。所以每张交付图都要能对上 +/// 一行日志:`[shot] settings route=Settings group=2 theme=ull-m3-light`。 +/// +/// ## 为什么只在变化时打 +/// +/// `App::view` 每帧都调用;每帧一行会把 `launcher.log` 刷满,反而没人能从中找到那一行。 +/// 判据是(组序号,主题名)这一对——同一次截图进程里最多两行(首帧 + 主题切一次)。 +/// 拿不到锁(另一个线程正在写)就**不打**:身份日志宁可少一行,也不能把界面帧卡在锁上。 +/// +/// **非截图通道一律不打**:交互模式下用户每点一次左列就多一行日志,没有价值。 +fn note_screenshot_group(screenshot: bool, route: &Route, group: usize, theme: &str) { + if !screenshot { + return; + } + let Ok(mut last) = SHOT_GROUP_LOGGED.lock() else { + return; + }; + let seen = (group, theme.to_string()); + if last.as_ref() == Some(&seen) { + return; + } + *last = Some(seen); + drop(last); + crate::app::diag::diag!("[shot] settings route={route:?} group={group} theme={theme}"); +} + impl App { /// 主题名(iced 只在 `Theme::name()` 变化时重算受主题影响的缓存)。 pub(super) fn theme(&self) -> Theme { @@ -45,6 +83,18 @@ impl App { pub(super) fn view(&self) -> Element<'_, Message> { log_first_frame(); + // D30 §2.1:出图通道要有一行能**自证身份**的日志——「这张图是哪个设置组、哪个主题」。 + // 上一次 M201 的事故就是拿外观页当下载组的证据;图不自证身份,结论就无处落地。 + // 只对设置页打(左列那几组才有「哪个组」这件事)。 + if self.state.route() == &Route::Settings { + note_screenshot_group( + self.options.screenshot.is_some(), + self.state.route(), + self.appearance.selected_group, + self.ui().name(), + ); + } + // `--screen=gallery`:组件库 harness(D39 §5)。它用自己的 DemoMessage, // 这里只做一次 map,组件库与业务 Message 依然解耦。 if self.options.screen == Screen::Gallery { diff --git a/crates/presenter/src/dto/mod.rs b/crates/presenter/src/dto/mod.rs index 72ef41e..7963d5e 100644 --- a/crates/presenter/src/dto/mod.rs +++ b/crates/presenter/src/dto/mod.rs @@ -67,7 +67,9 @@ pub use pack::{ ImportState, ImportStatusView, ImportedFileView, MissingFileView, MissingReasonView, PackCommand, PackEvent, PackFormatView, PackState, ProbeView, }; -pub use settings::{find_row, SettingControl, SettingGroupView, SettingRowView}; +pub use settings::{ + find_row, SettingControl, SettingGroupView, SettingRowView, JAVA_REFRESH_ACTION, +}; // M159: 自更新 pub use update::{ ReadyUpdate, UpdateBanner, UpdateCandidateView, UpdateFailureView, UpdateOutcome, UpdateView, diff --git a/crates/presenter/src/dto/settings.rs b/crates/presenter/src/dto/settings.rs index 428decc..3bc190a 100644 --- a/crates/presenter/src/dto/settings.rs +++ b/crates/presenter/src/dto/settings.rs @@ -6,6 +6,33 @@ use serde::{Deserialize, Serialize}; +/// 设置页 Java 组「写回完成,请重发快照」的动作键(M204)。 +/// +/// ## 它解决的问题 +/// +/// Java 组把三键(`java.default_memory_mb` / `java.extra_args` / `java.selected_path`)**一次原子** +/// 写进 `launcher.json`(`app-iced` 的 `pages/settings/java/store.rs`:`set` 几个键 + 一次 +/// `save()`),走的是页面自己的 `SettingStore`,**不经过** [`crate::dto::AppCommand::SetSetting`] +/// 的写盘分支。而 `CoreEvent::SettingsChanged` 全仓只有两处发出(`host/dispatch.rs` 的 +/// `SetSetting` 分支、`host/mod.rs` 的 `refresh_all`)。于是三键写成功之后,presenter 的 java 组 +/// 快照会陈旧到下一次任何别的写入——`AppState::settings_groups` 里的 `java.selected_path` / +/// `java.extra_args` 还是旧值。 +/// +/// ## 为什么不是「把写盘搬进 SetSetting」 +/// +/// 那会把一次原子写拆成最多三条命令(`SetSetting` 一次只收一个键),于是内存与 JVM 参数的保存 +/// 会出现「第一键落盘、第二键被 schema 拒」的中间态;每条命令还要各走一次异步落盘,用户点一次 +/// 保存会看到三次写盘与三次快照回流。取舍见 M204 报告。 +/// +/// ## 形状 +/// +/// 与 `host::engine::DETECT_REGION_ACTION`(`download.action.detect_region`,M165)同一族: +/// **动作键不写盘**,`host::settings::set` 见到它就返回 `Ok(())`,于是 `dispatch.rs` 的 +/// `SetSetting` 分支照常执行它那四个副作用臂(重建引擎 / 重发 `SettingsChanged` / 清 Java 链)。 +/// 键名带 `action` 段,是为了让人一眼看出它**不是** schema 键(`core::setting::keys` 里没有它, +/// 手写进 `launcher.json` 也只会被当成未知键忽略)。 +pub const JAVA_REFRESH_ACTION: &str = "java.action.refresh"; + /// 控件类型(决定设置页画什么)。 #[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)] pub enum SettingControl { diff --git a/crates/presenter/src/host/settings.rs b/crates/presenter/src/host/settings.rs index 6c773fb..4a6f7ba 100644 --- a/crates/presenter/src/host/settings.rs +++ b/crates/presenter/src/host/settings.rs @@ -250,6 +250,14 @@ pub fn set(env: &HostEnv, key: &str, value: &str) -> Result<(), String> { if key == super::engine::DETECT_REGION_ACTION { return detect_region(env); } + // M204:设置页 Java 组的「写回完成,重发快照」动作键。**不写盘**——页面那一侧已经把三键 + // 一次原子写进 `launcher.json` 了(`pages/settings/java/store.rs::save`),这里只要返回 + // `Ok(())`,`dispatch.rs` 的 `SetSetting` 分支就会重发 `CoreEvent::SettingsChanged`, + // `AppState::settings_groups` 里 java 组那几行随之变成刚写进去的真值。 + // 键的来历与取舍见 `crate::dto::JAVA_REFRESH_ACTION` 的文档。 + if key == crate::dto::JAVA_REFRESH_ACTION { + return Ok(()); + } let parsed = parse_value(key, value)?; let mut store = env.store(); store