[202_100] 查找替换增加显示当前查找替换位置的功能 (#2284)

Co-authored-by: Da Shen <da@liii.pro>

Author: wumoin

TeXmacs/progs/generic/search-widgets.scm

@@ -15,6 +15,18 @@
   (:use (generic generic-edit)
         (utils library cursor)))
 
+(define search-replace-text "")
+
+
+(tm-define (update-search-pos-text action)
+  (let* ((index-str (get-alt-selection-index "alternate" action)))
+    (if (== index-str "")
+        (set-auxiliary-widget-title (translate search-replace-text))
+        (set-auxiliary-widget-title
+         (string-append (translate search-replace-text) " (" index-str ")")))))
+
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Basic search and replace buffers management
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
@@ -153,6 +165,7 @@
           (begin
             (selection-cancel)
             (cancel-alt-selection "alternate")
+            (update-search-pos-text "new")
             (go-to** (get-search-reference #t)))
           (let* ((t (buffer-tree))
                  (sels* (tree-perform-search t what (tree->path t) limit))
@@ -165,13 +178,15 @@
 		  ((null? sels)
 		   (selection-cancel)
 		   (cancel-alt-selection "alternate")
+       (update-search-pos-text "new")
 		   (go-to** (get-search-reference #t))
 		   (set! ok? #f))
 		  (else
 		   (set-alt-selection "alternate" sels)
 		   (with after? (next-search-result #t #f)
 		     (when (not after?)
-		       (selection-cancel))))))))
+		       (selection-cancel))
+           (update-search-pos-text "new")))))))
     (with-buffer (search-buffer)
       (if ok?
           (init-default "bg-color")
@@ -219,6 +234,7 @@
            (selection-set-range-set sel)
            (go-to* (car sel))
            (when strict? (set-search-reference (car sel)))
+           (update-search-pos-text (if forward? "next" "previous"))
            #t))))
 
 (define (extreme-search-result last?)
@@ -228,7 +244,8 @@
          (begin
            (selection-set-range-set sel)
            (go-to* (car sel))
-           (set-search-reference (car sel))))))
+           (set-search-reference (car sel))
+           (update-search-pos-text (if last? "last" "first"))))))
 
 (tm-define (search-next-match forward?)
   (with-buffer (master-buffer)
@@ -368,7 +385,8 @@
       (start-editing)
       (replace-next by)
       (end-editing))
-    (perform-search*)))
+    (perform-search*)
+    (update-search-pos-text "new")))
 
 (tm-define (replace-all)
   (and-with by (or (by-tree) current-replace)
@@ -377,7 +395,8 @@
       (while (replace-next by)
         (perform-search*))
       (end-editing))
-    (perform-search*)))
+    (perform-search*)
+    (update-search-pos-text "new")))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;; Customized keyboard shortcuts in search and replace modes
@@ -970,6 +989,7 @@
 
 (tm-define (interactive-search)
   (:interactive #t)
+  (set! search-replace-text "search")
   (set-boolean-preference "search-and-replace" #f)
   (if (and (get-boolean-preference "toolbar search")
            (not (buffer-aux? (current-buffer))))
@@ -978,6 +998,7 @@
 
 (tm-define (interactive-replace)
   (:interactive #t)
+  (set! search-replace-text "search and replace")
   (set-boolean-preference "search-and-replace" #t)
   (if (and (get-boolean-preference "toolbar replace")
            (not (buffer-aux? (current-buffer))))

devel/202_100.md

@@ -0,0 +1,9 @@
+# 202_100
+## 如何测试
+1. 打开`帮助->欢迎`。
+2. 点击`编辑->查找`，输入`墨`,此时能够在标题观察到查找功能所定位的位置，点击更换查找位置，观察标题中所显示的位置是否准确。
+3. 关闭查找窗口，点击`编辑->替换`,在查找框中输入`墨`,此时能够在标题观察到查找功能所定位的位置，点击更换查找位置，观察标题中所显示的位置是否准确。
+4. 在替换框中输入`1`，并执行替换，观察替换后标题中所显示的位置是否准确
+
+
+## 2025/12/18 查找替换增加显示当前查找替换位置的功能

src/Edit/Replace/edit_select.cpp

@@ -1021,6 +1021,59 @@ edit_select_rep::get_alt_selection (string name) {
   return alt_sels[name];
 }
 
+string
+edit_select_rep::get_alt_selection_index (string name, string action) {
+  int n            = N (alt_sels[name]);
+  int current_total= n / 2;
+  if (current_total == 0) {
+    index= 0;
+    total= 0;
+    return "";
+  }
+  if (action == "new" || total != current_total) {
+    total= current_total;
+    if (total == 0) return "";
+    index                            = 0;
+    const int BINARY_SEARCH_THRESHOLD= 20;
+    if (total <= BINARY_SEARCH_THRESHOLD) {
+      for (int i= 0; i + 1 < n; i+= 2) {
+        if (path_less_eq (alt_sels[name][i], tp)) {
+          index++;
+        }
+        else {
+          break;
+        }
+      }
+    }
+    else {
+      int left= 0, right= total;
+      while (left < right) {
+        int mid= (left + right) / 2;
+        if (path_less_eq (alt_sels[name][2 * mid], tp)) {
+          left= mid + 1;
+        }
+        else {
+          right= mid;
+        }
+      }
+      index= left;
+    }
+  }
+  else if (action == "next") {
+    index++;
+  }
+  else if (action == "previous") {
+    index--;
+  }
+  else if (action == "first") {
+    index= 1;
+  }
+  else if (action == "last") {
+    index= total;
+  }
+  return as_string (index) * "/" * as_string (total);
+}
+
 range_set
 current_alt_selection (string name) {
   return get_current_editor ()->get_alt_selection (name);

src/Edit/Replace/edit_select.hpp

@@ -28,6 +28,8 @@ class edit_select_rep : virtual public editor_rep {
   path                       focus_p;
   bool                       focus_hold;
   hashmap<string, range_set> alt_sels;
+  int                        total= 0;
+  int                        index= 0;
 
 protected:
   void get_selection (path& start, path& end);
@@ -106,6 +108,7 @@ class edit_select_rep : virtual public editor_rep {
 
   void      set_alt_selection (string s, range_set sel);
   range_set get_alt_selection (string s);
+  string    get_alt_selection_index (string s, string action);
   void      cancel_alt_selection (string s);
   void      cancel_alt_selections ();
 };

src/Edit/editor.hpp

@@ -550,10 +550,11 @@ class editor_rep : public simple_widget_rep {
   virtual void manual_focus_release ()                    = 0;
   virtual path focus_get (bool skip_flag= true)           = 0;
 
-  virtual void      set_alt_selection (string s, range_set sel)= 0;
-  virtual range_set get_alt_selection (string s)               = 0;
-  virtual void      cancel_alt_selection (string s)            = 0;
-  virtual void      cancel_alt_selections ()                   = 0;
+  virtual void      set_alt_selection (string s, range_set sel)      = 0;
+  virtual range_set get_alt_selection (string s)                     = 0;
+  virtual string    get_alt_selection_index (string s, string action)= 0;
+  virtual void      cancel_alt_selection (string s)                  = 0;
+  virtual void      cancel_alt_selections ()                         = 0;
 
   /* public routines from edit_replace */
   virtual bool   inside (string what)                                  = 0;

src/Scheme/Glue/glue_editor.lua

@@ -1571,6 +1571,15 @@ function main()
                     "string"
                 }
             },
+            {
+                scm_name = "get-alt-selection-index",
+                cpp_name = "get_alt_selection_index",
+                ret_type = "string",
+                arg_list = {
+                    "string",
+                    "string"
+                }
+            },
             {
                 scm_name = "cancel-alt-selection",
                 cpp_name = "cancel_alt_selection",