diff --git a/TeXmacs/progs/generic/search-widgets.scm b/TeXmacs/progs/generic/search-widgets.scm index 4d8fd2a3d181501cae0de4e58a3c17b9472a9e95..186a2ffb0fb59c96a2aaa03fff94b10d79be43b6 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")