gitk: Remove the unused stopfindproc function

diff --git a/gitk b/gitk
index 767b0ed8b87d0a36f76adc004e3c2781781dbaa2..45e16e4fd5ebb6670b289a2cd4006a878c80df6c 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -1786,7 +1786,6 @@ proc showview {n} {
     }
     unselectline
     normalline
-    stopfindproc
     if {$curview >= 0} {
        set vparentlist($curview) $parentlist
        set vdisporder($curview) $displayorder
@@ -3939,7 +3938,6 @@ proc findmatches {f} {
 proc dofind {{rev 0}} {
     global findstring findstartline findcurline selectedline numcommits
 
-    stopfindproc
     unmarkmatches
     cancel_next_highlight
     focus .
@@ -4093,23 +4091,6 @@ proc findselectline {l} {
     }
 }
 
-proc stopfindproc {{done 0}} {
-    global findprocpid findprocfile findids
-    global ctext findoldcursor phase maincursor textcursor
-    global findinprogress
-
-    catch {unset findids}
-    if {[info exists findprocpid]} {
-       if {!$done} {
-           catch {exec kill $findprocpid}
-       }
-       catch {close $findprocfile}
-       unset findprocpid
-    }
-    catch {unset findinprogress}
-    notbusy find
-}
-
 # mark the bits of a headline or author that match a find string
 proc markmatches {canv l str tag matches font} {
     set bbox [$canv bbox $tag]