From f68d080bfd0c329b6feac5c462a97f1ddd9bbd5f Mon Sep 17 00:00:00 2001 From: Da Shen Date: Fri, 12 Dec 2025 16:23:18 +0800 Subject: [PATCH] =?UTF-8?q?=E6=90=9C=E7=B4=A2=E6=97=B6=E5=B1=95=E7=A4=BA?= =?UTF-8?q?=20i/n=20=E7=9A=84=E4=B8=80=E7=A7=8D=E6=96=B9=E6=B3=95?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- TeXmacs/progs/generic/search-widgets.scm | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/TeXmacs/progs/generic/search-widgets.scm b/TeXmacs/progs/generic/search-widgets.scm index 4d8fd2a3d..186a2ffb0 100644 --- a/TeXmacs/progs/generic/search-widgets.scm +++ b/TeXmacs/progs/generic/search-widgets.scm @@ -493,6 +493,13 @@ (buffer->tree (search-buffer)) `(document ""))) +(define flag? #f) + +(define (flag-text1) + "1/1") +(define (flag-text2) + "2/2") + (tm-widget ((search-widget u style init aux) quit) (padded (resize "350px" "200px" @@ -500,6 +507,13 @@ `(style (tuple ,@style)) aux)) === (hlist + (refreshable "test" + (if (not flag?) (text (flag-text1))) + (if flag? (text (flag-text2)))) + (toggle + (begin (set! flag? answer) + (invalidate-now "test")) + flag?) ((balloon (icon "tm_search_first.xpm") "First occurrence") (search-extreme-match #f)) ((balloon (icon "tm_search_previous.xpm") "Previous occurrence") -- Gitee