annotate src/scroll.c @ 80321:08874225702d

Remove discussion of flow control.
author Chong Yidong <cyd@stupidchicken.com>
date Wed, 12 Mar 2008 13:36:10 +0000
parents fc2bcd2a8aad
children 107ccd98fa12
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 /* Calculate what line insertion or deletion to do, and do it,
75227
e90d04cd455a Update copyright for years from Emacs 21 to present (mainly adding
Glenn Morris <rgm@gnu.org>
parents: 68651
diff changeset
2 Copyright (C) 1985, 1986, 1990, 1993, 1994, 2001, 2002, 2003, 2004,
79759
fc2bcd2a8aad Add 2008 to copyright years.
Glenn Morris <rgm@gnu.org>
parents: 78260
diff changeset
3 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 This file is part of GNU Emacs.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 GNU Emacs is free software; you can redistribute it and/or modify
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 it under the terms of the GNU General Public License as published by
78260
922696f363b0 Switch license to GPLv3 or later.
Glenn Morris <rgm@gnu.org>
parents: 75227
diff changeset
9 the Free Software Foundation; either version 3, or (at your option)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 any later version.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 GNU Emacs is distributed in the hope that it will be useful,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 GNU General Public License for more details.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 along with GNU Emacs; see the file COPYING. If not, write to
64084
a8fa7c632ee4 Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 52401
diff changeset
19 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
a8fa7c632ee4 Update FSF's address.
Lute Kamstra <lute@gnu.org>
parents: 52401
diff changeset
20 Boston, MA 02110-1301, USA. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22
4696
1fc792473491 Include <config.h> instead of "config.h".
Roland McGrath <roland@gnu.org>
parents: 3356
diff changeset
23 #include <config.h>
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
24 #include <stdio.h>
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
25 #include <string.h>
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26 #include "termchar.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 #include "lisp.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 #include "dispextern.h"
31102
6a0caa788013 Include keyboard.h before frame.h.
Andrew Innes <andrewi@gnu.org>
parents: 28407
diff changeset
29 #include "keyboard.h"
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
30 #include "frame.h"
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
31 #include "window.h"
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 /* All costs measured in characters.
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
34 So no cost can exceed the area of a frame, measured in characters.
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
35 Let's hope this is never more than 1000000 characters. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
37 #define INFINITY 1000000
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
38
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39 struct matrix_elt
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
40 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
41 /* Cost of outputting through this line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 if no insert/delete is done just above it. */
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
43 int writecost;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 /* Cost of outputting through this line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 if an insert is done just above it. */
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
46 int insertcost;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 /* Cost of outputting through this line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 if a delete is done just above it. */
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
49 int deletecost;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 /* Number of inserts so far in this run of inserts,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 for the cost in insertcost. */
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
52 unsigned char insertcount;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
53 /* Number of deletes so far in this run of deletes,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
54 for the cost in deletecost. */
6773
ed16e189b9a5 (struct matrix_elt): Use int, not short.
Richard M. Stallman <rms@gnu.org>
parents: 6647
diff changeset
55 unsigned char deletecount;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
56 /* Number of writes so far since the last insert
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
57 or delete for the cost in writecost. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
58 unsigned char writecount;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
59 };
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
60
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
61 static void do_direct_scrolling P_ ((struct glyph_matrix *,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
62 struct matrix_elt *,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
63 int, int));
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
64 static void do_scrolling P_ ((struct glyph_matrix *,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
65 struct matrix_elt *,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
66 int, int));
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
67
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
68
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
69 /* Determine, in matrix[i,j], the cost of updating the first j old
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
70 lines into the first i new lines using the general scrolling method.
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
71 This involves using insert or delete somewhere if i != j.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
72 For each matrix elements, three kinds of costs are recorded:
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
73 the smallest cost that ends with an insert, the smallest
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
74 cost that ends with a delete, and the smallest cost that
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
75 ends with neither one. These are kept separate because
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
76 on some terminals the cost of doing an insert varies
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
77 depending on whether one was just done, etc. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
78
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
79 /* draw_cost[VPOS] is the cost of outputting new line at VPOS.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
80 old_hash[VPOS] is the hash code of the old line at VPOS.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
81 new_hash[VPOS] is the hash code of the new line at VPOS.
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
82 Note that these are not true frame vpos's, but relative
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
83 to the place at which the first mismatch between old and
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
84 new contents appears. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
85
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
86 static void
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
87 calculate_scrolling (frame, matrix, window_size, lines_below,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
88 draw_cost, old_hash, new_hash,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89 free_at_end)
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
90 FRAME_PTR frame;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
91 /* matrix is of size window_size + 1 on each side. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
92 struct matrix_elt *matrix;
48323
3aa5ba8c3ef4 (calculate_scrolling, calculate_direct_scrolling):
Dave Love <fx@gnu.org>
parents: 39682
diff changeset
93 int window_size, lines_below;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
94 int *draw_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
95 int *old_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
96 int *new_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
97 int free_at_end;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
98 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
99 register int i, j;
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
100 int frame_lines = FRAME_LINES (frame);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
101 register struct matrix_elt *p, *p1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
102 register int cost, cost1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
103
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
104 int lines_moved = window_size + (scroll_region_ok ? 0 : lines_below);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
105 /* first_insert_cost[I] is the cost of doing the first insert-line
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
106 at the i'th line of the lines we are considering,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
107 where I is origin 1 (as it is below). */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
108 int *first_insert_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
109 = &FRAME_INSERT_COST (frame)[frame_lines - 1 - lines_moved];
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
110 int *first_delete_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
111 = &FRAME_DELETE_COST (frame)[frame_lines - 1 - lines_moved];
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
112 int *next_insert_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
113 = &FRAME_INSERTN_COST (frame)[frame_lines - 1 - lines_moved];
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
114 int *next_delete_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
115 = &FRAME_DELETEN_COST (frame)[frame_lines - 1 - lines_moved];
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
116
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
117 /* Discourage long scrolls on fast lines.
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
118 Don't scroll nearly a full frame height unless it saves
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
119 at least 1/4 second. */
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
120 int extra_cost = baud_rate / (10 * 4 * FRAME_LINES (frame));
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
121
3356
09759a9653c5 (calculate_scrolling): Defend against negative baud_rate.
Richard M. Stallman <rms@gnu.org>
parents: 2961
diff changeset
122 if (baud_rate <= 0)
09759a9653c5 (calculate_scrolling): Defend against negative baud_rate.
Richard M. Stallman <rms@gnu.org>
parents: 2961
diff changeset
123 extra_cost = 1;
09759a9653c5 (calculate_scrolling): Defend against negative baud_rate.
Richard M. Stallman <rms@gnu.org>
parents: 2961
diff changeset
124
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
125 /* initialize the top left corner of the matrix */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
126 matrix->writecost = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
127 matrix->insertcost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
128 matrix->deletecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
129 matrix->insertcount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
130 matrix->deletecount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
131
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
132 /* initialize the left edge of the matrix */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
133 cost = first_insert_cost[1] - next_insert_cost[1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
134 for (i = 1; i <= window_size; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
135 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
136 p = matrix + i * (window_size + 1);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
137 cost += draw_cost[i] + next_insert_cost[i] + extra_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
138 p->insertcost = cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
139 p->writecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
140 p->deletecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
141 p->insertcount = i;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
142 p->deletecount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
143 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
144
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
145 /* initialize the top edge of the matrix */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
146 cost = first_delete_cost[1] - next_delete_cost[1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
147 for (j = 1; j <= window_size; j++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
148 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
149 cost += next_delete_cost[j];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
150 matrix[j].deletecost = cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
151 matrix[j].writecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
152 matrix[j].insertcost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
153 matrix[j].deletecount = j;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
154 matrix[j].insertcount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
155 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
156
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
157 /* `i' represents the vpos among new frame contents.
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
158 `j' represents the vpos among the old frame contents. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
159 p = matrix + window_size + 2; /* matrix [1, 1] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
160 for (i = 1; i <= window_size; i++, p++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
161 for (j = 1; j <= window_size; j++, p++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
162 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
163 /* p contains the address of matrix [i, j] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
164
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
165 /* First calculate the cost assuming we do
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
166 not insert or delete above this line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
167 That is, if we update through line i-1
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
168 based on old lines through j-1,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
169 and then just change old line j to new line i. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
170 p1 = p - window_size - 2; /* matrix [i-1, j-1] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
171 cost = p1->writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
172 if (cost > p1->insertcost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
173 cost = p1->insertcost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
174 if (cost > p1->deletecost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
175 cost = p1->deletecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
176 if (old_hash[j] != new_hash[i])
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
177 cost += draw_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
178 p->writecost = cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
179
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
180 /* Calculate the cost if we do an insert-line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
181 before outputting this line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
182 That is, we update through line i-1
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
183 based on old lines through j,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
184 do an insert-line on line i,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
185 and then output line i from scratch,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
186 leaving old lines starting from j for reuse below. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
187 p1 = p - window_size - 1; /* matrix [i-1, j] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
188 /* No need to think about doing a delete followed
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
189 immediately by an insert. It cannot be as good
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
190 as not doing either of them. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
191 if (free_at_end == i)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
192 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
193 cost = p1->writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
194 cost1 = p1->insertcost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
195 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
196 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
197 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
198 cost = p1->writecost + first_insert_cost[i];
6888
a39caeb88721 (calculate_scrolling): Add explicit casts, to avoid compiler warnings.
Karl Heuer <kwzh@gnu.org>
parents: 6773
diff changeset
199 if ((int) p1->insertcount > i)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
200 abort ();
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
201 cost1 = p1->insertcost + next_insert_cost[i - p1->insertcount];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
202 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
203 p->insertcost = min (cost, cost1) + draw_cost[i] + extra_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
204 p->insertcount = (cost < cost1) ? 1 : p1->insertcount + 1;
6888
a39caeb88721 (calculate_scrolling): Add explicit casts, to avoid compiler warnings.
Karl Heuer <kwzh@gnu.org>
parents: 6773
diff changeset
205 if ((int) p->insertcount > i)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
206 abort ();
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
207
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
208 /* Calculate the cost if we do a delete line after
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
209 outputting this line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
210 That is, we update through line i
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
211 based on old lines through j-1,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
212 and throw away old line j. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
213 p1 = p - 1; /* matrix [i, j-1] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
214 /* No need to think about doing an insert followed
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
215 immediately by a delete. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
216 if (free_at_end == i)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
217 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
218 cost = p1->writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
219 cost1 = p1->deletecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
220 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
221 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
222 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
223 cost = p1->writecost + first_delete_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
224 cost1 = p1->deletecost + next_delete_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
225 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
226 p->deletecost = min (cost, cost1);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
227 p->deletecount = (cost < cost1) ? 1 : p1->deletecount + 1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
228 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
229 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
230
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
231
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
232
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
233 /* Perform insert-lines and delete-lines operations on CURRENT_MATRIX
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
234 according to the costs in MATRIX, using the general scrolling
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
235 method that is used if the terminal does not support the setting of
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
236 scroll windows (scroll_region_ok == 0).
6647
e6611521fb67 (do_scrolling): Handle charstarts like glyphs.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
237
e6611521fb67 (do_scrolling): Handle charstarts like glyphs.
Richard M. Stallman <rms@gnu.org>
parents: 4696
diff changeset
238 WINDOW_SIZE is the number of lines being considered for scrolling
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
239 and UNCHANGED_AT_TOP is the vpos of the first line being
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
240 considered. These two arguments can specify any contiguous range
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
241 of lines. */
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
242
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
243 static void
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
244 do_scrolling (current_matrix, matrix, window_size, unchanged_at_top)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
245 struct glyph_matrix *current_matrix;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
246 struct matrix_elt *matrix;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
247 int window_size;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
248 int unchanged_at_top;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
249 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
250 struct matrix_elt *p;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
251 int i, j, k;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
252
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
253 /* Set to 1 if we have set a terminal window with
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
254 set_terminal_window. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
255 int terminal_window_p = 0;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
256
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
257 /* A queue for line insertions to be done. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
258 struct queue { int count, pos; };
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
259 struct queue *queue_start
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
260 = (struct queue *) alloca (current_matrix->nrows * sizeof (struct queue));
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
261 struct queue *queue = queue_start;
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
262
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
263 char *retained_p = (char *) alloca (window_size * sizeof (char));
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
264 int *copy_from = (int *) alloca (window_size * sizeof (int));
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
265
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
266 /* Zero means line is empty. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
267 bzero (retained_p, window_size * sizeof (char));
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
268 for (k = 0; k < window_size; ++k)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
269 copy_from[k] = -1;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
270
28407
f15029804aba * scroll.c (CHECK_BOUNDS): Renamed from CHECK.
Ken Raeburn <raeburn@raeburn.org>
parents: 25004
diff changeset
271 #define CHECK_BOUNDS \
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
272 do \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
273 { \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
274 int k; \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
275 for (k = 0; k < window_size; ++k) \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
276 xassert (copy_from[k] == -1 \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
277 || (copy_from[k] >= 0 && copy_from[k] < window_size)); \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
278 } \
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
279 while (0);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
280
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
281 /* When j is advanced, this corresponds to deleted lines.
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
282 When i is advanced, this corresponds to inserted lines. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
283 i = j = window_size;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
284 while (i > 0 || j > 0)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
285 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
286 p = matrix + i * (window_size + 1) + j;
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
287
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
288 if (p->insertcost < p->writecost && p->insertcost < p->deletecost)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
289 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
290 /* Insert should be done at vpos i-1, plus maybe some before.
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
291 Queue the screen operation to be performed. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
292 queue->count = p->insertcount;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
293 queue->pos = i + unchanged_at_top - p->insertcount;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
294 ++queue;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
295
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
296 /* By incrementing I, we leave room in the result rows
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
297 for the empty rows opened up. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
298 i -= p->insertcount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
299 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
300 else if (p->deletecost < p->writecost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
301 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
302 /* Old line at vpos j-1, and maybe some before it, should be
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
303 deleted. By decrementing J, we skip some lines in the
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
304 temp_rows which is equivalent to omitting these lines in
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
305 the result rows, thus deleting them. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
306 j -= p->deletecount;
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
307
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
308 /* Set the terminal window, if not done already. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
309 if (! terminal_window_p)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
310 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
311 set_terminal_window (window_size + unchanged_at_top);
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
312 terminal_window_p = 1;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
313 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
314
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
315 /* Delete lines on the terminal. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
316 ins_del_lines (j + unchanged_at_top, - p->deletecount);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
317 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
318 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
319 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
320 /* Best thing done here is no insert or delete, i.e. a write. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
321 --i, --j;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
322 xassert (i >= 0 && i < window_size);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
323 xassert (j >= 0 && j < window_size);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
324 copy_from[i] = j;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
325 retained_p[j] = 1;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
326
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
327 #if GLYPH_DEBUG
28407
f15029804aba * scroll.c (CHECK_BOUNDS): Renamed from CHECK.
Ken Raeburn <raeburn@raeburn.org>
parents: 25004
diff changeset
328 CHECK_BOUNDS;
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
329 #endif
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
330 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
331 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
332
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
333 /* Now do all insertions queued above. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
334 if (queue > queue_start)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
335 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
336 int next = -1;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
337
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
338 /* Set the terminal window if not yet done. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
339 if (!terminal_window_p)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
340 {
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
341 set_terminal_window (window_size + unchanged_at_top);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
342 terminal_window_p = 1;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
343 }
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
344
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
345 do
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
346 {
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
347 --queue;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
348
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
349 /* Do the deletion on the terminal. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
350 ins_del_lines (queue->pos, queue->count);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
351
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
352 /* All lines in the range deleted become empty in the glyph
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
353 matrix. Assign to them glyph rows that are not retained.
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
354 K is the starting position of the deleted range relative
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
355 to the window we are working in. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
356 k = queue->pos - unchanged_at_top;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
357 for (j = 0; j < queue->count; ++j)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
358 {
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
359 /* Find the next row not retained. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
360 while (retained_p[++next])
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
361 ;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
362
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
363 /* Record that this row is to be used for the empty
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
364 glyph row j. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
365 copy_from[k + j] = next;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
366 }
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
367 }
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
368 while (queue > queue_start);
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
369
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
370 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
371
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
372 for (k = 0; k < window_size; ++k)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
373 xassert (copy_from[k] >= 0 && copy_from[k] < window_size);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
374
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
375 /* Perform the row swizzling. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
376 mirrored_line_dance (current_matrix, unchanged_at_top, window_size,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
377 copy_from, retained_p);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
378
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
379 /* Some sanity checks if GLYPH_DEBUG != 0. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
380 CHECK_MATRIX (current_matrix);
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
381
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
382 if (terminal_window_p)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
383 set_terminal_window (0);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
384 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
385
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
386
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
387 /* Determine, in matrix[i,j], the cost of updating the first j
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
388 old lines into the first i new lines using the direct
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
389 scrolling method. When the old line and the new line have
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
390 different hash codes, the calculated cost of updating old
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
391 line j into new line i includes the cost of outputting new
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
392 line i, and if i != j, the cost of outputting the old line j
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
393 is also included, as a penalty for moving the line and then
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
394 erasing it. In addition, the cost of updating a sequence of
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
395 lines with constant i - j includes the cost of scrolling the
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
396 old lines into their new positions, unless i == j. Scrolling
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
397 is achieved by setting the screen window to avoid affecting
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
398 other lines below, and inserting or deleting lines at the top
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
399 of the scrolled region. The cost of scrolling a sequence of
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
400 lines includes the fixed cost of specifying a scroll region,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
401 plus a variable cost which can depend upon the number of lines
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
402 involved and the distance by which they are scrolled, and an
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
403 extra cost to discourage long scrolls.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
404
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
405 As reflected in the matrix, an insert or delete does not
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
406 correspond directly to the insertion or deletion which is
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
407 used in scrolling lines. An insert means that the value of i
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
408 has increased without a corresponding increase in the value
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
409 of j. A delete means that the value of j has increased
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
410 without a corresponding increase in the value of i. A write
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
411 means that i and j are both increased by the same amount, and
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
412 that the old lines will be moved to their new positions.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
413
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
414 An insert following a delete is allowed only if i > j.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
415 A delete following an insert is allowed only if i < j.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
416 These restrictions ensure that the new lines in an insert
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
417 will always be blank as an effect of the neighboring writes.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
418 Thus the calculated cost of an insert is simply the cost of
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
419 outputting the new line contents. The direct cost of a
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
420 delete is zero. Inserts and deletes indirectly affect the
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
421 total cost through their influence on subsequent writes. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
422
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
423 /* The vectors draw_cost, old_hash, and new_hash have the same
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
424 meanings here as in calculate_scrolling, and old_draw_cost
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
425 is the equivalent of draw_cost for the old line contents */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
426
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
427 static void
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
428 calculate_direct_scrolling (frame, matrix, window_size, lines_below,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
429 draw_cost, old_draw_cost, old_hash, new_hash,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
430 free_at_end)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
431 FRAME_PTR frame;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
432 /* matrix is of size window_size + 1 on each side. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
433 struct matrix_elt *matrix;
48323
3aa5ba8c3ef4 (calculate_scrolling, calculate_direct_scrolling):
Dave Love <fx@gnu.org>
parents: 39682
diff changeset
434 int window_size, lines_below;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
435 int *draw_cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
436 int *old_draw_cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
437 int *old_hash;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
438 int *new_hash;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
439 int free_at_end;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
440 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
441 register int i, j;
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
442 int frame_lines = FRAME_LINES (frame);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
443 register struct matrix_elt *p, *p1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
444 register int cost, cost1, delta;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
445
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
446 /* first_insert_cost[-I] is the cost of doing the first insert-line
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
447 at a position I lines above the bottom line in the scroll window. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
448 int *first_insert_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
449 = &FRAME_INSERT_COST (frame)[frame_lines - 1];
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
450 int *first_delete_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
451 = &FRAME_DELETE_COST (frame)[frame_lines - 1];
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
452 int *next_insert_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
453 = &FRAME_INSERTN_COST (frame)[frame_lines - 1];
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
454 int *next_delete_cost
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
455 = &FRAME_DELETEN_COST (frame)[frame_lines - 1];
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
456
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
457 int scroll_overhead;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
458
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
459 /* Discourage long scrolls on fast lines.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
460 Don't scroll nearly a full frame height unless it saves
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
461 at least 1/4 second. */
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
462 int extra_cost = baud_rate / (10 * 4 * FRAME_LINES (frame));
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
463
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
464 if (baud_rate <= 0)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
465 extra_cost = 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
466
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
467 /* Overhead of setting the scroll window, plus the extra cost
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
468 cost of scrolling by a distance of one. The extra cost is
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
469 added once for consistency with the cost vectors */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
470 scroll_overhead = scroll_region_cost + extra_cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
471
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
472 /* initialize the top left corner of the matrix */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
473 matrix->writecost = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
474 matrix->insertcost = INFINITY;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
475 matrix->deletecost = INFINITY;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
476 matrix->writecount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
477 matrix->insertcount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
478 matrix->deletecount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
479
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
480 /* initialize the left edge of the matrix */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
481 cost = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
482 for (i = 1; i <= window_size; i++)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
483 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
484 p = matrix + i * (window_size + 1);
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
485 cost += draw_cost[i];
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
486 p->insertcost = cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
487 p->writecost = INFINITY;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
488 p->deletecost = INFINITY;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
489 p->insertcount = i;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
490 p->writecount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
491 p->deletecount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
492 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
493
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
494 /* initialize the top edge of the matrix */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
495 for (j = 1; j <= window_size; j++)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
496 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
497 matrix[j].deletecost = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
498 matrix[j].writecost = INFINITY;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
499 matrix[j].insertcost = INFINITY;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
500 matrix[j].deletecount = j;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
501 matrix[j].writecount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
502 matrix[j].insertcount = 0;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
503 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
504
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
505 /* `i' represents the vpos among new frame contents.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
506 `j' represents the vpos among the old frame contents. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
507 p = matrix + window_size + 2; /* matrix [1, 1] */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
508
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
509 for (i = 1; i <= window_size; i++, p++)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
510 for (j = 1; j <= window_size; j++, p++)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
511 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
512 /* p contains the address of matrix [i, j] */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
513
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
514 /* First calculate the cost assuming we do
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
515 not insert or delete above this line.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
516 That is, if we update through line i-1
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
517 based on old lines through j-1,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
518 and then just change old line j to new line i.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
519
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
520 Depending on which choice gives the lower cost,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
521 this usually involves either scrolling a single line
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
522 or extending a sequence of scrolled lines, but
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
523 when i == j, no scrolling is required. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
524 p1 = p - window_size - 2; /* matrix [i-1, j-1] */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
525 cost = p1->insertcost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
526 if (cost > p1->deletecost)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
527 cost = p1->deletecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
528 cost1 = p1->writecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
529 if (i == j)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
530 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
531 if (cost > cost1)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
532 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
533 cost = cost1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
534 p->writecount = p1->writecount + 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
535 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
536 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
537 p->writecount = 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
538 if (old_hash[j] != new_hash[i])
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
539 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
540 cost += draw_cost[i];
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
541 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
542 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
543 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
544 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
545 if (i > j)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
546 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
547 delta = i - j;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
548
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
549 /* The cost added here for scrolling the first line by
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
550 a distance N includes the overhead of setting the
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
551 scroll window, the cost of inserting N lines at a
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
552 position N lines above the bottom line of the window,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
553 and an extra cost which is proportional to N. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
554 cost += scroll_overhead + first_insert_cost[-delta] +
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
555 (delta-1) * (next_insert_cost[-delta] + extra_cost);
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
556
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
557 /* In the most general case, the insertion overhead and
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
558 the multiply factor can grow linearly as the distance
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
559 from the bottom of the window increases. The incremental
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
560 cost of scrolling an additional line depends upon the
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
561 rate of change of these two parameters. Each of these
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
562 growth rates can be determined by a simple difference.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
563 To reduce the cumulative effects of rounding error, we
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
564 vary the position at which the difference is computed. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
565 cost1 += first_insert_cost[-j] - first_insert_cost[1-j] +
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
566 (delta-1) * (next_insert_cost[-j] - next_insert_cost[1-j]);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
567 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
568 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
569 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
570 delta = j - i;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
571 cost += scroll_overhead + first_delete_cost[-delta] +
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
572 (delta-1) * (next_delete_cost[-delta] + extra_cost);
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
573 cost1 += first_delete_cost[-i] - first_delete_cost[1-i] +
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
574 (delta-1) * ( next_delete_cost[-i] - next_delete_cost[1-i]);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
575 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
576 if (cost1 < cost)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
577 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
578 cost = cost1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
579 p->writecount = p1->writecount + 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
580 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
581 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
582 p->writecount = 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
583 if (old_hash[j] != new_hash[i])
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
584 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
585 cost += draw_cost[i] + old_draw_cost[j];
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
586 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
587 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
588 p->writecost = cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
589
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
590 /* Calculate the cost if we do an insert-line
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
591 before outputting this line.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
592 That is, we update through line i-1
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
593 based on old lines through j,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
594 do an insert-line on line i,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
595 and then output line i from scratch,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
596 leaving old lines starting from j for reuse below. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
597 p1 = p - window_size - 1; /* matrix [i-1, j] */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
598 cost = p1->writecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
599 /* If i > j, an insert is allowed after a delete. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
600 if (i > j && p1->deletecost < cost)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
601 cost = p1->deletecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
602 if (p1->insertcost <= cost)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
603 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
604 cost = p1->insertcost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
605 p->insertcount = p1->insertcount + 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
606 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
607 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
608 p->insertcount = 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
609 cost += draw_cost[i];
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
610 p->insertcost = cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
611
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
612 /* Calculate the cost if we do a delete line after
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
613 outputting this line.
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
614 That is, we update through line i
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
615 based on old lines through j-1,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
616 and throw away old line j. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
617 p1 = p - 1; /* matrix [i, j-1] */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
618 cost = p1->writecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
619 /* If i < j, a delete is allowed after an insert. */
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
620 if (i < j && p1->insertcost < cost)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
621 cost = p1->insertcost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
622 cost1 = p1->deletecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
623 if (p1->deletecost <= cost)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
624 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
625 cost = p1->deletecost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
626 p->deletecount = p1->deletecount + 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
627 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
628 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
629 p->deletecount = 1;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
630 p->deletecost = cost;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
631 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
632 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
633
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
634
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
635
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
636 /* Perform insert-lines and delete-lines operations on CURRENT_MATRIX
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
637 according to the costs in MATRIX, using the direct scrolling method
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
638 which is used when the terminal supports setting a scroll window
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
639 (scroll_region_ok).
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
640
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
641 WINDOW_SIZE is the number of lines being considered for scrolling
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
642 and UNCHANGED_AT_TOP is the vpos of the first line being
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
643 considered. These two arguments can specify any contiguous range
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
644 of lines.
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
645
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
646 In the direct scrolling method, a new scroll window is selected
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
647 before each insertion or deletion, so that groups of lines can be
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
648 scrolled directly to their final vertical positions. This method
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
649 is described in more detail in calculate_direct_scrolling, where
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
650 the cost matrix for this approach is constructed. */
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
651
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
652 static void
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
653 do_direct_scrolling (current_matrix, cost_matrix, window_size,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
654 unchanged_at_top)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
655 struct glyph_matrix *current_matrix;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
656 struct matrix_elt *cost_matrix;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
657 int window_size;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
658 int unchanged_at_top;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
659 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
660 struct matrix_elt *p;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
661 int i, j;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
662
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
663 /* A queue of deletions and insertions to be performed. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
664 struct alt_queue { int count, pos, window; };
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
665 struct alt_queue *queue_start = (struct alt_queue *)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
666 alloca (window_size * sizeof *queue_start);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
667 struct alt_queue *queue = queue_start;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
668
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
669 /* Set to 1 if a terminal window has been set with
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
670 set_terminal_window: */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
671 int terminal_window_p = 0;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
672
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
673 /* A nonzero value of write_follows indicates that a write has been
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
674 selected, allowing either an insert or a delete to be selected
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
675 next. When write_follows is zero, a delete cannot be selected
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
676 unless j < i, and an insert cannot be selected unless i < j.
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
677 This corresponds to a similar restriction (with the ordering
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
678 reversed) in calculate_direct_scrolling, which is intended to
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
679 ensure that lines marked as inserted will be blank. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
680 int write_follows_p = 1;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
681
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
682 /* For each row in the new matrix what row of the old matrix it is. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
683 int *copy_from = (int *) alloca (window_size * sizeof (int));
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
684
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
685 /* Non-zero for each row in the new matrix that is retained from the
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
686 old matrix. Lines not retained are empty. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
687 char *retained_p = (char *) alloca (window_size * sizeof (char));
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
688
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
689 bzero (retained_p, window_size * sizeof (char));
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
690
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
691 /* Perform some sanity checks when GLYPH_DEBUG is on. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
692 CHECK_MATRIX (current_matrix);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
693
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
694 /* We are working on the line range UNCHANGED_AT_TOP ...
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
695 UNCHANGED_AT_TOP + WINDOW_SIZE (not including) in CURRENT_MATRIX.
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
696 We step through lines in this range from the end to the start. I
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
697 is an index into new lines, j an index into old lines. The cost
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
698 matrix determines what to do for ranges of indices.
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
699
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
700 If i is decremented without also decrementing j, this corresponds
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
701 to inserting empty lines in the result. If j is decremented
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
702 without also decrementing i, this corresponds to omitting these
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
703 lines in the new rows, i.e. rows are deleted. */
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
704 i = j = window_size;
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
705
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
706 while (i > 0 || j > 0)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
707 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
708 p = cost_matrix + i * (window_size + 1) + j;
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
709
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
710 if (p->insertcost < p->writecost
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
711 && p->insertcost < p->deletecost
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
712 && (write_follows_p || i < j))
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
713 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
714 /* Insert is cheaper than deleting or writing lines. Leave
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
715 a hole in the result display that will be filled with
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
716 empty lines when the queue is emptied. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
717 queue->count = 0;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
718 queue->window = i;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
719 queue->pos = i - p->insertcount;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
720 ++queue;
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
721
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
722 i -= p->insertcount;
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
723 write_follows_p = 0;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
724 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
725 else if (p->deletecost < p->writecost
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
726 && (write_follows_p || i > j))
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
727 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
728 /* Deleting lines is cheaper. By decrementing J, omit
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
729 deletecount lines from the original. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
730 write_follows_p = 0;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
731 j -= p->deletecount;
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
732 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
733 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
734 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
735 /* One or more lines should be written. In the direct
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
736 scrolling method we do this by scrolling the lines to the
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
737 place they belong. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
738 int n_to_write = p->writecount;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
739 write_follows_p = 1;
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
740 xassert (n_to_write > 0);
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
741
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
742 if (i > j)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
743 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
744 /* Immediately insert lines */
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
745 set_terminal_window (i + unchanged_at_top);
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
746 terminal_window_p = 1;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
747 ins_del_lines (j - n_to_write + unchanged_at_top, i - j);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
748 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
749 else if (i < j)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
750 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
751 /* Queue the deletion of a group of lines */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
752 queue->pos = i - n_to_write + unchanged_at_top;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
753 queue->window = j + unchanged_at_top;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
754 queue->count = i - j;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
755 ++queue;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
756 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
757
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
758 while (n_to_write > 0)
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
759 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
760 --i, --j, --n_to_write;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
761 copy_from[i] = j;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
762 retained_p[j] = 1;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
763 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
764 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
765 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
766
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
767 /* Do queued operations. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
768 if (queue > queue_start)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
769 {
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
770 int next = -1;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
771
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
772 do
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
773 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
774 --queue;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
775 if (queue->count)
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
776 {
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
777 set_terminal_window (queue->window);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
778 terminal_window_p = 1;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
779 ins_del_lines (queue->pos, queue->count);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
780 }
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
781 else
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
782 {
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
783 for (j = queue->window - 1; j >= queue->pos; --j)
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
784 {
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
785 while (retained_p[++next])
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
786 ;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
787 copy_from[j] = next;
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
788 }
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
789 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
790 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
791 while (queue > queue_start);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
792 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
793
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
794 /* Now, for each row I in the range of rows we are working on,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
795 copy_from[i] gives the original line to copy to I, and
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
796 retained_p[copy_from[i]] is zero if line I in the new display is
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
797 empty. */
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
798 mirrored_line_dance (current_matrix, unchanged_at_top, window_size,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
799 copy_from, retained_p);
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
800
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
801 if (terminal_window_p)
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
802 set_terminal_window (0);
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
803 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
804
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
805
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
806
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
807 void
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
808 scrolling_1 (frame, window_size, unchanged_at_top, unchanged_at_bottom,
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
809 draw_cost, old_draw_cost, old_hash, new_hash, free_at_end)
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
810 FRAME_PTR frame;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
811 int window_size, unchanged_at_top, unchanged_at_bottom;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
812 int *draw_cost;
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
813 int *old_draw_cost;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
814 int *old_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
815 int *new_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
816 int free_at_end;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
817 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
818 struct matrix_elt *matrix;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
819 matrix = ((struct matrix_elt *)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
820 alloca ((window_size + 1) * (window_size + 1) * sizeof *matrix));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
821
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
822 if (scroll_region_ok)
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
823 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
824 calculate_direct_scrolling (frame, matrix, window_size,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
825 unchanged_at_bottom,
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
826 draw_cost, old_draw_cost,
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
827 old_hash, new_hash, free_at_end);
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
828 do_direct_scrolling (frame->current_matrix,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
829 matrix, window_size, unchanged_at_top);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
830 }
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
831 else
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
832 {
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
833 calculate_scrolling (frame, matrix, window_size, unchanged_at_bottom,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
834 draw_cost, old_hash, new_hash,
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
835 free_at_end);
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
836 do_scrolling (frame->current_matrix, matrix, window_size,
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
837 unchanged_at_top);
10262
4face60ac721 (scrolling_1): When scroll_region_ok is set, use a
Richard M. Stallman <rms@gnu.org>
parents: 10109
diff changeset
838 }
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
839 }
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
840
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
841
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
842
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
843 /* Return number of lines in common between current and desired frame
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
844 contents described to us only as vectors of hash codes OLDHASH and
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
845 NEWHASH. Consider only vpos range START to END (not including
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
846 END). Ignore short lines on the assumption that avoiding redrawing
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
847 such a line will have little weight. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
848
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
849 int
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
850 scrolling_max_lines_saved (start, end, oldhash, newhash, cost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
851 int start, end;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
852 int *oldhash, *newhash, *cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
853 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
854 struct { int hash; int count; } lines[01000];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
855 register int i, h;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
856 register int matchcount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
857 int avg_length = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
858 int threshold;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
859
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
860 /* Compute a threshold which is 1/4 of average length of these lines. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
861
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
862 for (i = start; i < end; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
863 avg_length += cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
864
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
865 avg_length /= end - start;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
866 threshold = avg_length / 4;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
867
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
868 bzero (lines, sizeof lines);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
869
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
870 /* Put new lines' hash codes in hash table. Ignore lines shorter
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
871 than the threshold. Thus, if the lines that are in common are
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
872 mainly the ones that are short, they won't count. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
873 for (i = start; i < end; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
874 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
875 if (cost[i] > threshold)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
876 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
877 h = newhash[i] & 0777;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
878 lines[h].hash = newhash[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
879 lines[h].count++;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
880 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
881 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
882
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
883 /* Look up old line hash codes in the hash table. Count number of
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
884 matches between old lines and new. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
885 for (i = start; i < end; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
886 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
887 h = oldhash[i] & 0777;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
888 if (oldhash[i] == lines[h].hash)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
889 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
890 matchcount++;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
891 if (--lines[h].count == 0)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
892 lines[h].hash = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
893 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
894 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
895
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
896 return matchcount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
897 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
898
25004
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
899 /* Return a measure of the cost of moving the lines starting with vpos
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
900 FROM, up to but not including vpos TO, down by AMOUNT lines (AMOUNT
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
901 may be negative). These are the same arguments that might be given
bfd115279703 Rewritten.
Gerd Moellmann <gerd@gnu.org>
parents: 21514
diff changeset
902 to scroll_frame_lines to perform this scrolling. */
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
903
21514
fa9ff387d260 Fix -Wimplicit warnings.
Andreas Schwab <schwab@suse.de>
parents: 14186
diff changeset
904 int
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
905 scroll_cost (frame, from, to, amount)
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
906 FRAME_PTR frame;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
907 int from, to, amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
908 {
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
909 /* Compute how many lines, at bottom of frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
910 will not be involved in actual motion. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
911 int limit = to;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
912 int offset;
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
913 int height = FRAME_LINES (frame);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
914
421
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
915 if (amount == 0)
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
916 return 0;
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
917
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
918 if (! scroll_region_ok)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
919 limit = height;
421
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
920 else if (amount > 0)
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
921 limit += amount;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
922
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
923 if (amount < 0)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
924 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
925 int temp = to;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
926 to = from + amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
927 from = temp + amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
928 amount = - amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
929 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
930
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
931 offset = height - limit;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
932
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
933 return
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
934 (FRAME_INSERT_COST (frame)[offset + from]
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
935 + (amount - 1) * FRAME_INSERTN_COST (frame)[offset + from]
10109
869e177ca872 (scroll_cost): FRAME_DELETE_COST and FRAME_DELETEN_COSTS were confused. Fixed.
Richard M. Stallman <rms@gnu.org>
parents: 9576
diff changeset
936 + FRAME_DELETE_COST (frame)[offset + to]
869e177ca872 (scroll_cost): FRAME_DELETE_COST and FRAME_DELETEN_COSTS were confused. Fixed.
Richard M. Stallman <rms@gnu.org>
parents: 9576
diff changeset
937 + (amount - 1) * FRAME_DELETEN_COST (frame)[offset + to]);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
938 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
939
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
940 /* Calculate the line insertion/deletion
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
941 overhead and multiply factor values */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
942
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
943 static void
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
944 line_ins_del (frame, ov1, pf1, ovn, pfn, ov, mf)
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
945 FRAME_PTR frame;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
946 int ov1, ovn;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
947 int pf1, pfn;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
948 register int *ov, *mf;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
949 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
950 register int i;
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
951 register int frame_lines = FRAME_LINES (frame);
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
952 register int insert_overhead = ov1 * 10;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
953 register int next_insert_cost = ovn * 10;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
954
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
955 for (i = frame_lines-1; i >= 0; i--)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
956 {
529
413127b220ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 421
diff changeset
957 mf[i] = next_insert_cost / 10;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
958 next_insert_cost += pfn;
529
413127b220ef *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 421
diff changeset
959 ov[i] = (insert_overhead + next_insert_cost) / 10;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
960 insert_overhead += pf1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
961 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
962 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
963
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
964 static void
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
965 ins_del_costs (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
966 one_line_string, multi_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
967 setup_string, cleanup_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
968 costvec, ncostvec, coefficient)
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
969 FRAME_PTR frame;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
970 char *one_line_string, *multi_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
971 char *setup_string, *cleanup_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
972 int *costvec, *ncostvec;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
973 int coefficient;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
974 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
975 if (multi_string)
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
976 line_ins_del (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
977 string_cost (multi_string) * coefficient,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
978 per_line_cost (multi_string) * coefficient,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
979 0, 0, costvec, ncostvec);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
980 else if (one_line_string)
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
981 line_ins_del (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
982 string_cost (setup_string) + string_cost (cleanup_string), 0,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
983 string_cost (one_line_string),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
984 per_line_cost (one_line_string),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
985 costvec, ncostvec);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
986 else
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
987 line_ins_del (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
988 9999, 0, 9999, 0,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
989 costvec, ncostvec);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
990 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
991
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
992 /* Calculate the insert and delete line costs.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
993 Note that this is done even when running with a window system
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
994 because we want to know how long scrolling takes (and avoid it).
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
995 This must be redone whenever the frame height changes.
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
996
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
997 We keep the ID costs in a precomputed array based on the position
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
998 at which the I or D is performed. Also, there are two kinds of ID
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
999 costs: the "once-only" and the "repeated". This is to handle both
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1000 those terminals that are able to insert N lines at a time (once-
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1001 only) and those that must repeatedly insert one line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1002
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1003 The cost to insert N lines at line L is
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1004 [tt.t_ILov + (frame_lines + 1 - L) * tt.t_ILpf] +
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1005 N * [tt.t_ILnov + (frame_lines + 1 - L) * tt.t_ILnpf]
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1006
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1007 ILov represents the basic insert line overhead. ILpf is the padding
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1008 required to allow the terminal time to move a line: insertion at line
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1009 L changes (frame_lines + 1 - L) lines.
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1010
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1011 The first bracketed expression above is the overhead; the second is
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1012 the multiply factor. Both are dependent only on the position at
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1013 which the insert is performed. We store the overhead in
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1014 FRAME_INSERT_COST (frame) and the multiply factor in
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1015 FRAME_INSERTN_COST (frame). Note however that any insertion
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1016 must include at least one multiply factor. Rather than compute this
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1017 as FRAME_INSERT_COST (frame)[line]+FRAME_INSERTN_COST (frame)[line],
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1018 we add FRAME_INSERTN_COST (frame) into FRAME_INSERT_COST (frame).
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1019 This is reasonable because of the particular algorithm used in calcM.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1020
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1021 Deletion is essentially the same as insertion.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1022 */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1023
21514
fa9ff387d260 Fix -Wimplicit warnings.
Andreas Schwab <schwab@suse.de>
parents: 14186
diff changeset
1024 void
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1025 do_line_insertion_deletion_costs (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1026 ins_line_string, multi_ins_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1027 del_line_string, multi_del_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1028 setup_string, cleanup_string, coefficient)
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1029 FRAME_PTR frame;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1030 char *ins_line_string, *multi_ins_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1031 char *del_line_string, *multi_del_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1032 char *setup_string, *cleanup_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1033 int coefficient;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1034 {
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1035 if (FRAME_INSERT_COST (frame) != 0)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1036 {
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1037 FRAME_INSERT_COST (frame) =
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1038 (int *) xrealloc (FRAME_INSERT_COST (frame),
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1039 FRAME_LINES (frame) * sizeof (int));
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1040 FRAME_DELETEN_COST (frame) =
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1041 (int *) xrealloc (FRAME_DELETEN_COST (frame),
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1042 FRAME_LINES (frame) * sizeof (int));
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1043 FRAME_INSERTN_COST (frame) =
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1044 (int *) xrealloc (FRAME_INSERTN_COST (frame),
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1045 FRAME_LINES (frame) * sizeof (int));
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1046 FRAME_DELETE_COST (frame) =
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1047 (int *) xrealloc (FRAME_DELETE_COST (frame),
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1048 FRAME_LINES (frame) * sizeof (int));
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1049 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1050 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1051 {
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1052 FRAME_INSERT_COST (frame) =
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1053 (int *) xmalloc (FRAME_LINES (frame) * sizeof (int));
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1054 FRAME_DELETEN_COST (frame) =
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1055 (int *) xmalloc (FRAME_LINES (frame) * sizeof (int));
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1056 FRAME_INSERTN_COST (frame) =
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1057 (int *) xmalloc (FRAME_LINES (frame) * sizeof (int));
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 48323
diff changeset
1058 FRAME_DELETE_COST (frame) =
51212
332134065648 Make (some) trivial substitutions for renamed and
Kim F. Storm <storm@cua.dk>
parents: 49600
diff changeset
1059 (int *) xmalloc (FRAME_LINES (frame) * sizeof (int));
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1060 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1061
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1062 ins_del_costs (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1063 ins_line_string, multi_ins_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1064 setup_string, cleanup_string,
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1065 FRAME_INSERT_COST (frame), FRAME_INSERTN_COST (frame),
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1066 coefficient);
766
b9e81bfc7ad9 entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 732
diff changeset
1067 ins_del_costs (frame,
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1068 del_line_string, multi_del_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1069 setup_string, cleanup_string,
9576
14cd96eda0e3 (do_line_insertion_deletion_costs): Fix argument order.
Karl Heuer <kwzh@gnu.org>
parents: 7307
diff changeset
1070 FRAME_DELETE_COST (frame), FRAME_DELETEN_COST (frame),
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1071 coefficient);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1072 }
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 51212
diff changeset
1073
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 51212
diff changeset
1074 /* arch-tag: cdb7149c-48e7-4793-a948-2786c8e45485
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 51212
diff changeset
1075 (do not change this comment) */