annotate src/scroll.c @ 464:4ddaee1a9029

*** empty log message ***
author Jim Blandy <jimb@redhat.com>
date Fri, 20 Dec 1991 07:15:37 +0000
parents 1cc29824b3f1
children 413127b220ef
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,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 Copyright (C) 1985, 1986, 1990 Free Software Foundation, Inc.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4 This file is part of GNU Emacs.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6 GNU Emacs is free software; you can redistribute it and/or modify
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 it under the terms of the GNU General Public License as published by
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 the Free Software Foundation; either version 1, or (at your option)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 any later version.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11 GNU Emacs is distributed in the hope that it will be useful,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 GNU General Public License for more details.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16 You should have received a copy of the GNU General Public License
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 along with GNU Emacs; see the file COPYING. If not, write to
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 #include "config.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 #include "termchar.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23 #include "lisp.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24 #include "dispextern.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 #include "screen.h"
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 extern struct display_line **ophys_lines;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29 #define max(a, b) ((a) > (b) ? (a) : (b))
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30 #define min(a, b) ((a) < (b) ? (a) : (b))
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32 /* All costs measured in characters.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 So no cost can exceed the area of a screen, measured in characters.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34 Let's hope this is never more than 15000 characters. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
35
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36 #define INFINITY 15000
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
37
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
38 struct matrix_elt
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
40 /* Cost of outputting through this line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
41 if no insert/delete is done just above it. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 short writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
43 /* Cost of outputting through this line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 if an insert is done just above it. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 short insertcost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
46 /* Cost of outputting through this line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 if a delete is done just above it. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 short deletecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49 /* Number of inserts so far in this run of inserts,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 for the cost in insertcost. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 char insertcount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
52 /* Number of deletes so far in this run of deletes,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
53 for the cost in deletecost. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
54 char deletecount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55 };
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
56
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
57 /* See do_line_insertion_deletion_costs for info on these arrays. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
58
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
59 #ifndef MULTI_SCREEN
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
60 static int *insert_line_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
61 static int *delete_line_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
62 static int *insert_n_lines_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
63 static int *delete_n_lines_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
64 #endif
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
65
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
67 /* Determine, in matrix[i,j], the cost of updating the first j old lines
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
68 into the first i new lines.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
69 This involves using insert or delete somewhere if i != j.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
70 For each matrix elements, three kinds of costs are recorded:
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
71 the smallest cost that ends with an insert, the smallest
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
72 cost that ends with a delete, and the smallest cost that
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
73 ends with neither one. These are kept separate because
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
74 on some terminals the cost of doing an insert varies
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
75 depending on whether one was just done, etc. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
76
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
77 /* draw_cost[VPOS] is the cost of outputting new line at VPOS.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
78 old_hash[VPOS] is the hash code of the old line at VPOS.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
79 new_hash[VPOS] is the hash code of the new line at VPOS.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
80 Note that these are not true screen vpos's, but relative
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
81 to the place at which the first mismatch between old and
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
82 new contents appears. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
83
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
84 static void
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
85 calculate_scrolling (screen, matrix, window_size, lines_below,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
86 draw_cost, old_hash, new_hash,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
87 free_at_end)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
88 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89 /* matrix is of size window_size + 1 on each side. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
90 struct matrix_elt *matrix;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
91 int window_size;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
92 int *draw_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
93 int *old_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
94 int *new_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
95 int free_at_end;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
96 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
97 register int i, j;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
98 int screen_height = SCREEN_HEIGHT (screen);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
99 register struct matrix_elt *p, *p1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
100 register int cost, cost1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
101
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
102 int lines_moved = window_size + (scroll_region_ok ? 0 : lines_below);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
103 /* first_insert_cost[I] is the cost of doing the first insert-line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
104 at the I'th line of the lines we are considering,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
105 where I is origin 1 (as it is below). */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
106 int *first_insert_cost
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
107 = &SCREEN_INSERT_COST (screen)[screen_height - 1 - lines_moved];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
108 int *first_delete_cost
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
109 = &SCREEN_DELETE_COST (screen)[screen_height - 1 - lines_moved];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
110 int *next_insert_cost
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
111 = &SCREEN_INSERTN_COST (screen)[screen_height - 1 - lines_moved];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
112 int *next_delete_cost
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
113 = &SCREEN_DELETEN_COST (screen)[screen_height - 1 - lines_moved];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
114
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
115 /* Discourage long scrolls on fast lines.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
116 Don't scroll nearly a full screen height unless it saves
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
117 at least 1/4 second. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
118 int extra_cost = baud_rate / (10 * 4 * SCREEN_HEIGHT (screen));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
119
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
120 /* initialize the top left corner of the matrix */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
121 matrix->writecost = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
122 matrix->insertcost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
123 matrix->deletecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
124 matrix->insertcount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
125 matrix->deletecount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
126
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
127 /* initialize the left edge of the matrix */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
128 cost = first_insert_cost[1] - next_insert_cost[1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
129 for (i = 1; i <= window_size; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
130 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
131 p = matrix + i * (window_size + 1);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
132 cost += draw_cost[i] + next_insert_cost[i] + extra_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
133 p->insertcost = cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
134 p->writecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
135 p->deletecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
136 p->insertcount = i;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
137 p->deletecount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
138 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
139
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
140 /* initialize the top edge of the matrix */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
141 cost = first_delete_cost[1] - next_delete_cost[1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
142 for (j = 1; j <= window_size; j++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
143 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
144 cost += next_delete_cost[j];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
145 matrix[j].deletecost = cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
146 matrix[j].writecost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
147 matrix[j].insertcost = INFINITY;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
148 matrix[j].deletecount = j;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
149 matrix[j].insertcount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
150 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
151
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
152 /* `i' represents the vpos among new screen contents.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
153 `j' represents the vpos among the old screen contents. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
154 p = matrix + window_size + 2; /* matrix [1, 1] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
155 for (i = 1; i <= window_size; i++, p++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
156 for (j = 1; j <= window_size; j++, p++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
157 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
158 /* p contains the address of matrix [i, j] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
159
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
160 /* First calculate the cost assuming we do
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
161 not insert or delete above this line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
162 That is, if we update through line i-1
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
163 based on old lines through j-1,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
164 and then just change old line j to new line i. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
165 p1 = p - window_size - 2; /* matrix [i-1, j-1] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
166 cost = p1->writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
167 if (cost > p1->insertcost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
168 cost = p1->insertcost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
169 if (cost > p1->deletecost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
170 cost = p1->deletecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
171 if (old_hash[j] != new_hash[i])
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
172 cost += draw_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
173 p->writecost = cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
174
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
175 /* Calculate the cost if we do an insert-line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
176 before outputting this line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
177 That is, we update through line i-1
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
178 based on old lines through j,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
179 do an insert-line on line i,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
180 and then output line i from scratch,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
181 leaving old lines starting from j for reuse below. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
182 p1 = p - window_size - 1; /* matrix [i-1, j] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
183 /* No need to think about doing a delete followed
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
184 immediately by an insert. It cannot be as good
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
185 as not doing either of them. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
186 if (free_at_end == i)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
187 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
188 cost = p1->writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
189 cost1 = p1->insertcost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
190 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
191 else
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 + first_insert_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
194 if (p1->insertcount > i)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
195 abort ();
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
196 cost1 = p1->insertcost + next_insert_cost[i - p1->insertcount];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
197 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
198 p->insertcost = min (cost, cost1) + draw_cost[i] + extra_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
199 p->insertcount = (cost < cost1) ? 1 : p1->insertcount + 1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
200 if (p->insertcount > i)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
201 abort ();
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
202
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
203 /* Calculate the cost if we do a delete line after
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
204 outputting this line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
205 That is, we update through line i
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
206 based on old lines through j-1,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
207 and throw away old line j. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
208 p1 = p - 1; /* matrix [i, j-1] */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
209 /* No need to think about doing an insert followed
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
210 immediately by a delete. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
211 if (free_at_end == i)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
212 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
213 cost = p1->writecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
214 cost1 = p1->deletecost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
215 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
216 else
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 + first_delete_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
219 cost1 = p1->deletecost + next_delete_cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
220 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
221 p->deletecost = min (cost, cost1);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
222 p->deletecount = (cost < cost1) ? 1 : p1->deletecount + 1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
223 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
224 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
225
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
226 /* Perform insert-lines and delete-lines operations
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
227 according to the costs in the matrix.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
228 Updates the contents of the screen to record what was done. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
229
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
230 static void
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
231 do_scrolling (screen, matrix, window_size, unchanged_at_top)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
232 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
233 struct matrix_elt *matrix;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
234 int window_size;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
235 int unchanged_at_top;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
236 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
237 register struct matrix_elt *p;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
238 register int i, j;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
239 register struct screen_glyphs *current_screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
240 register struct screen_glyphs *temp_screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
241 struct queue { int count, pos; } *queue;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
242 int offset = unchanged_at_top;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
243 int qi = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
244 int window = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
245 register int tem;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
246 int next;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
247
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
248 queue = (struct queue *) alloca (SCREEN_HEIGHT (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
249 * sizeof (struct queue));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
250
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
251 current_screen = SCREEN_CURRENT_GLYPHS (screen);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
252 temp_screen = SCREEN_TEMP_GLYPHS (screen);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
253
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
254 bcopy (current_screen->glyphs, temp_screen->glyphs,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
255 current_screen->height * sizeof (GLYPH *));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
256 bcopy (current_screen->used, temp_screen->used,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
257 current_screen->height * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
258 bcopy (current_screen->highlight, temp_screen->highlight,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
259 current_screen->height * sizeof (char));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
260 bzero (temp_screen->enable, temp_screen->height * sizeof (char));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
261 bcopy (current_screen->bufp, temp_screen->bufp,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
262 current_screen->height * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
263
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
264 #ifdef HAVE_X_WINDOWS
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
265 if (SCREEN_IS_X (screen))
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
266 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
267 bcopy (current_screen->nruns, temp_screen->nruns,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
268 current_screen->height * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
269 bcopy (current_screen->face_list, temp_screen->face_list,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
270 current_screen->height * sizeof (struct run *));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
271 bcopy (current_screen->top_left_x, temp_screen->top_left_x,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
272 current_screen->height * sizeof (short));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
273 bcopy (current_screen->top_left_y, temp_screen->top_left_y,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
274 current_screen->height * sizeof (short));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
275 bcopy (current_screen->pix_width, temp_screen->pix_width,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
276 current_screen->height * sizeof (short));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
277 bcopy (current_screen->pix_height, temp_screen->pix_height,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
278 current_screen->height * sizeof (short));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
279 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
280 #endif
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
281
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
282 i = j = window_size;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
283
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;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
287 tem = p->insertcost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
288 if (tem < p->writecost && tem < p->deletecost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
289 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
290 /* Insert should be done at vpos i-1, plus maybe some before */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
291 queue[qi].count = p->insertcount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
292 i -= p->insertcount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
293 queue[qi++].pos = i + unchanged_at_top;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
294 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
295 else if (p->deletecost < p->writecost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
296 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
297 /* Old line at vpos j-1, and maybe some before it,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
298 should be deleted */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
299 j -= p->deletecount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
300 if (!window)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
301 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
302 set_terminal_window (window_size + unchanged_at_top);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
303 window = 1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
304 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
305 ins_del_lines (j + unchanged_at_top, - p->deletecount);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
306 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
307 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
308 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
309 /* Best thing done here is no insert or delete */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
310 /* Old line at vpos j-1 ends up at vpos i-1 */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
311 current_screen->glyphs[i + offset - 1]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
312 = temp_screen->glyphs[j + offset - 1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
313 current_screen->used[i + offset - 1]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
314 = temp_screen->used[j + offset - 1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
315 current_screen->highlight[i + offset - 1]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
316 = temp_screen->highlight[j + offset - 1];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
317
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
318 temp_screen->enable[j + offset - 1] = 1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
319 i--;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
320 j--;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
321 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
322 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
323
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
324 if (!window && qi)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
325 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
326 set_terminal_window (window_size + unchanged_at_top);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
327 window = 1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
328 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
329
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
330 /* Now do all insertions */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
331
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
332 next = unchanged_at_top;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
333 for (i = qi - 1; i >= 0; i--)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
334 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
335 ins_del_lines (queue[i].pos, queue[i].count);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
336
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
337 /* Mark the inserted lines as clear,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
338 and put into them the line-contents strings
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
339 that were discarded during the deletions.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
340 Those are the ones for which temp_screen->enable was not set. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
341 tem = queue[i].pos;
320
81130da351be *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 154
diff changeset
342 for (j = tem + queue[i].count - 1; j >= tem; j--)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
343 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
344 current_screen->enable[j] = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
345 while (temp_screen->enable[next])
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
346 next++;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
347 current_screen->glyphs[j] = temp_screen->glyphs[next++];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
348 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
349 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
350
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
351 if (window)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
352 set_terminal_window (0);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
353 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
354
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
355 void
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
356 scrolling_1 (screen, window_size, unchanged_at_top, unchanged_at_bottom,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
357 draw_cost, old_hash, new_hash, free_at_end)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
358 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
359 int window_size, unchanged_at_top, unchanged_at_bottom;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
360 int *draw_cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
361 int *old_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
362 int *new_hash;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
363 int free_at_end;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
364 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
365 struct matrix_elt *matrix;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
366 matrix = ((struct matrix_elt *)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
367 alloca ((window_size + 1) * (window_size + 1) * sizeof *matrix));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
368
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
369 calculate_scrolling (screen, matrix, window_size, unchanged_at_bottom,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
370 draw_cost, old_hash, new_hash,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
371 free_at_end);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
372 do_scrolling (screen, matrix, window_size, unchanged_at_top);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
373 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
374
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
375 /* Return number of lines in common between current and desired screen contents
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
376 described to us only as vectors of hash codes OLDHASH and NEWHASH.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
377 Consider only vpos range START to END (not including END).
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
378 Ignore short lines on the assumption that
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
379 avoiding redrawing such a line will have little weight. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
380
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
381 int
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
382 scrolling_max_lines_saved (start, end, oldhash, newhash, cost)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
383 int start, end;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
384 int *oldhash, *newhash, *cost;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
385 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
386 struct { int hash; int count; } lines[01000];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
387 register int i, h;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
388 register int matchcount = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
389 int avg_length = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
390 int threshold;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
391
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
392 /* Compute a threshold which is 1/4 of average length of these lines. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
393
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
394 for (i = start; i < end; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
395 avg_length += cost[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
396
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
397 avg_length /= end - start;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
398 threshold = avg_length / 4;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
399
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
400 bzero (lines, sizeof lines);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
401
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
402 /* Put new lines' hash codes in hash table.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
403 Ignore lines shorter than the threshold.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
404 Thus, if the lines that are in common
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
405 are mainly the ones that are short,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
406 they won't count. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
407 for (i = start; i < end; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
408 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
409 if (cost[i] > threshold)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
410 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
411 h = newhash[i] & 0777;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
412 lines[h].hash = newhash[i];
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
413 lines[h].count++;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
414 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
415 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
416
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
417 /* Look up old line hash codes in the hash table.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
418 Count number of matches between old lines and new. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
419
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
420 for (i = start; i < end; i++)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
421 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
422 h = oldhash[i] & 0777;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
423 if (oldhash[i] == lines[h].hash)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
424 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
425 matchcount++;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
426 if (--lines[h].count == 0)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
427 lines[h].hash = 0;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
428 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
429 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
430
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
431 return matchcount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
432 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
433
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
434 /* Return a measure of the cost of moving the lines
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
435 starting with vpos FROM, up to but not including vpos TO,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
436 down by AMOUNT lines (AMOUNT may be negative).
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
437 These are the same arguments that might be given to
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
438 scroll_screen_lines to perform this scrolling. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
439
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
440 scroll_cost (screen, from, to, amount)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
441 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
442 int from, to, amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
443 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
444 /* Compute how many lines, at bottom of screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
445 will not be involved in actual motion. */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
446 int limit = to;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
447 int offset;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
448 int height = SCREEN_HEIGHT (screen);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
449
421
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
450 if (amount == 0)
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
451 return 0;
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
452
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
453 if (! scroll_region_ok)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
454 limit = height;
421
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
455 else if (amount > 0)
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
456 limit += amount;
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
457
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
458 if (amount < 0)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
459 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
460 int temp = to;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
461 to = from + amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
462 from = temp + amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
463 amount = - amount;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
464 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
465
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
466 offset = height - limit;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
467
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
468 return
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
469 (SCREEN_INSERT_COST (screen)[offset + from]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
470 + (amount - 1) * SCREEN_INSERTN_COST (screen)[offset + from]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
471 + SCREEN_DELETEN_COST (screen)[offset + to]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
472 + (amount - 1) * SCREEN_DELETE_COST (screen)[offset + to]);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
473 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
474
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
475 /* Calculate the line insertion/deletion
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
476 overhead and multiply factor values */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
477
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
478 static void
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
479 line_ins_del (screen, ov1, pf1, ovn, pfn, ov, mf)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
480 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
481 int ov1, ovn;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
482 int pf1, pfn;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
483 register int *ov, *mf;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
484 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
485 register int i;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
486 register int screen_height = SCREEN_HEIGHT (screen);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
487 register int insert_overhead = ov1 * 10;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
488 register int next_insert_cost = ovn * 10;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
489
421
1cc29824b3f1 *** empty log message ***
Jim Blandy <jimb@redhat.com>
parents: 320
diff changeset
490 for (i = 0; i < screen_height; i++)
154
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
491 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
492 mf[screen_height - i] = next_insert_cost / 10;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
493 next_insert_cost += pfn;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
494 ov[screen_height - i] = (insert_overhead + next_insert_cost) / 10;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
495 insert_overhead += pf1;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
496 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
497 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
498
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
499 static void
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
500 ins_del_costs (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
501 one_line_string, multi_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
502 setup_string, cleanup_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
503 costvec, ncostvec, coefficient)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
504 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
505 char *one_line_string, *multi_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
506 char *setup_string, *cleanup_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
507 int *costvec, *ncostvec;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
508 int coefficient;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
509 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
510 if (multi_string)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
511 line_ins_del (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
512 string_cost (multi_string) * coefficient,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
513 per_line_cost (multi_string) * coefficient,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
514 0, 0, costvec, ncostvec);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
515 else if (one_line_string)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
516 line_ins_del (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
517 string_cost (setup_string) + string_cost (cleanup_string), 0,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
518 string_cost (one_line_string),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
519 per_line_cost (one_line_string),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
520 costvec, ncostvec);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
521 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
522 line_ins_del (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
523 9999, 0, 9999, 0,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
524 costvec, ncostvec);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
525 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
526
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
527 /* Calculate the insert and delete line costs.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
528 Note that this is done even when running with a window system
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
529 because we want to know how long scrolling takes (and avoid it).
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
530 This must be redone whenever the screen height changes.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
531
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
532 We keep the ID costs in a precomputed array based on the position
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
533 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
534 costs: the "once-only" and the "repeated". This is to handle both
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
535 those terminals that are able to insert N lines at a time (once-
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
536 only) and those that must repeatedly insert one line.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
537
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
538 The cost to insert N lines at line L is
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
539 [tt.t_ILov + (screen_height + 1 - L) * tt.t_ILpf] +
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
540 N * [tt.t_ILnov + (screen_height + 1 - L) * tt.t_ILnpf]
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
541
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
542 ILov represents the basic insert line overhead. ILpf is the padding
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
543 required to allow the terminal time to move a line: insertion at line
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
544 L changes (screen_height + 1 - L) lines.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
545
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
546 The first bracketed expression above is the overhead; the second is
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
547 the multiply factor. Both are dependent only on the position at
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
548 which the insert is performed. We store the overhead in
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
549 SCREEN_INSERT_COST (screen) and the multiply factor in
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
550 SCREEN_INSERTN_COST (screen). Note however that any insertion
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
551 must include at least one multiply factor. Rather than compute this
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
552 as SCREEN_INSERT_COST (screen)[line]+SCREEN_INSERTN_COST (screen)[line],
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
553 we add SCREEN_INSERTN_COST (screen) into SCREEN_INSERT_COST (screen).
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
554 This is reasonable because of the particular algorithm used in calcM.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
555
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
556 Deletion is essentially the same as insertion.
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
557 */
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
558
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
559 do_line_insertion_deletion_costs (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
560 ins_line_string, multi_ins_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
561 del_line_string, multi_del_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
562 setup_string, cleanup_string, coefficient)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
563 SCREEN_PTR screen;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
564 char *ins_line_string, *multi_ins_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
565 char *del_line_string, *multi_del_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
566 char *setup_string, *cleanup_string;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
567 int coefficient;
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
568 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
569 if (SCREEN_INSERT_COST (screen) != 0)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
570 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
571 SCREEN_INSERT_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
572 = (int *) xrealloc (SCREEN_INSERT_COST (screen),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
573 SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
574 SCREEN_DELETEN_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
575 = (int *) xrealloc (SCREEN_DELETEN_COST (screen),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
576 SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
577 SCREEN_INSERTN_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
578 = (int *) xrealloc (SCREEN_INSERTN_COST (screen),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
579 SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
580 SCREEN_DELETE_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
581 = (int *) xrealloc (SCREEN_DELETE_COST (screen),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
582 SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
583 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
584 else
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
585 {
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
586 SCREEN_INSERT_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
587 = (int *) xmalloc (SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
588 SCREEN_DELETEN_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
589 = (int *) xmalloc (SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
590 SCREEN_INSERTN_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
591 = (int *) xmalloc (SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
592 SCREEN_DELETE_COST (screen)
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
593 = (int *) xmalloc (SCREEN_HEIGHT (screen) * sizeof (int));
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
594 }
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
595
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
596 ins_del_costs (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
597 ins_line_string, multi_ins_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
598 setup_string, cleanup_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
599 SCREEN_INSERT_COST (screen), SCREEN_INSERTN_COST (screen),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
600 coefficient);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
601 ins_del_costs (screen,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
602 del_line_string, multi_del_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
603 setup_string, cleanup_string,
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
604 SCREEN_DELETEN_COST (screen), SCREEN_DELETE_COST (screen),
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
605 coefficient);
48df093640da Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
606 }