annotate src/.dbxinit @ 35362:f6b85f5a5397

(isearch-highlight): Set isearch-overlay priority to 1 here rather than each time through isearch-lazy-highlight-new-loop. (isearch-lazy-highlight-max): Variable deleted. (isearch-lazy-highlight-max-at-a-time): New user variable, like isearch-lazy-highlight-max but controls a single invocation of isearch-lazy-highlight-update. (isearch-lazy-highlight-wrapped): Variable recreated. (isearch-lazy-highlight-window-start): New variable. (isearch-lazy-highlight-cleanup): Restored to behavior of before 2-Jan. (isearch-lazy-highlight-remove-overlays): Function deleted; behavior folded into isearch-lazy-highlight-cleanup. "Keep" behavior removed. (isearch-lazy-highlight-new-loop): Restore old behavior of calling isearch-lazy-highlight-update in a loop rather than just once. Test isearch-invalid-regexp here and decide not to start a new loop, rather than testing it each time through isearch-lazy-highlight-update. (isearch-lazy-highlight-search): Function restored. (isearch-lazy-highlight-update): Get called in a timer loop again, but this time highlight more than one match each time through. Only highlight matches in the visible part of the window. Start at point, move in the direction of the search, and wrap around at the edge of the window. Use sit-for to force redisplay and ensure window-start is credible. "Face suppressing" behavior removed; overlay priorities should make it unnecessary, right? (isearch-highlight): Face suppressing behavior removed. (isearch-dehighlight): Face suppressing behavior removed. (isearch-set-lazy-highlight-faces-at): Removed.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 17 Jan 2001 14:10:25 +0000
parents 18e524802887
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25843
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ignore 14
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
2 catch 18
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
3 ignore 20
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
4 ignore 23
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
5 alias s step
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
6 alias n next
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
7 alias c cont
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
8 alias st status
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
9 alias r run
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
10 alias l list
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
11 alias f file
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
12 alias q quit
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
13 alias w where
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
14 alias d delete
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
15 alias p print