切换标签页后实时更新搜索替换辅助窗口的状态

wumoin · wumoin · commit 2d02a92d8ffd · 2025-12-26T13:59:49.000+08:00
diff --git a/src/Texmacs/Data/new_view.cpp b/src/Texmacs/Data/new_view.cpp
@@ -582,7 +582,7 @@ window_set_view (url win_u, url new_u, bool focus) {
   if (focus || get_current_view () == old_u) set_current_view (new_u);
   exec_delayed (scheme_cmd ("(make-cursor-visible '" *
                             scm_quote (as_string (new_u)) * ")"));
-  exec_delayed (scheme_cmd ("(refresh-search-replace)"));
+  exec_delayed (scheme_cmd ("(when (defined? 'refresh-search-replace) (refresh-search-replace))"));
 }
 
 void

Original file line number	Diff line number	Diff line change
`@@ -582,7 +582,7 @@ window_set_view (url win_u, url new_u, bool focus) {`
`582`	`582`	`if (focus \|\| get_current_view () == old_u) set_current_view (new_u);`
`583`	`583`	`exec_delayed (scheme_cmd ("(make-cursor-visible '" *`
`584`	`584`	`scm_quote (as_string (new_u)) * ")"));`
`585`		`- exec_delayed (scheme_cmd ("(refresh-search-replace)"));`
	`585`	`+ exec_delayed (scheme_cmd ("(when (defined? 'refresh-search-replace) (refresh-search-replace))"));`
`586`	`586`	`}`
`587`	`587`
`588`	`588`	`void`