Mercurial > emacs
annotate src/dispextern.h @ 8140:ed2ac2e85eef
(set-visited-file-name): Handle find-file-visit-truename
early on, before we deal with lock files.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Tue, 05 Jul 1994 07:23:18 +0000 |
parents | cd81dba38a49 |
children | 041e02e09745 |
rev | line source |
---|---|
247 | 1 /* Interface definitions for display code. |
7307 | 2 Copyright (C) 1985, 1993, 1994 Free Software Foundation, Inc. |
247 | 3 |
4 This file is part of GNU Emacs. | |
5 | |
6 GNU Emacs is free software; you can redistribute it and/or modify | |
7 it under the terms of the GNU General Public License as published by | |
732 | 8 the Free Software Foundation; either version 2, or (at your option) |
247 | 9 any later version. |
10 | |
11 GNU Emacs is distributed in the hope that it will be useful, | |
12 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
14 GNU General Public License for more details. | |
15 | |
16 You should have received a copy of the GNU General Public License | |
17 along with GNU Emacs; see the file COPYING. If not, write to | |
18 the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. */ | |
19 | |
20 /* Nonzero means last display completed and cursor is really at | |
21 cursX, cursY. Zero means it was preempted. */ | |
22 extern int display_completed; | |
23 | |
24 #ifdef HAVE_X_WINDOWS | |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
25 #include <X11/Xlib.h> |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
26 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
27 struct face |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
28 { |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
29 /* If this is non-zero, it is a GC we can use without modification |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
30 to represent this face. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
31 GC gc; |
2724
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
32 |
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
33 /* If we have ever called get_cached_face on this face structure, |
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
34 here is the index in face_vector of the face it returned. It |
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
35 might not be valid any more, but it's a good place to start |
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
36 looking; get_cached_face tries to use this to avoid searching |
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
37 all of face_vector. */ |
56a657acd984
* dispextern.h (struct face): Add cached_index member.
Jim Blandy <jimb@redhat.com>
parents:
2395
diff
changeset
|
38 int cached_index; |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
39 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
40 /* Pixel value for foreground color. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
41 int foreground; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
42 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
43 /* Pixel value for background color. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
44 int background; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
45 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
46 /* Font used for this face. */ |
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
47 XFontStruct *font; |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
48 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
49 /* Background stipple or bitmap used for this face. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
50 Pixmap stipple; |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
51 |
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
52 /* Pixmap_depth. */ |
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
53 unsigned int pixmap_w, pixmap_h; |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
54 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
55 /* Whether or not to underline text in this face. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
56 char underline; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
57 }; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
58 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
59 /* Let's stop using this and get rid of it. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
60 typedef struct face *FACE; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
61 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
62 #define NORMAL_FACE ((struct face *) 0) |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
63 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
64 #define FACE_HAS_GC(f) ((f)->gc) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
65 #define FACE_GC(f) ((f)->gc) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
66 #define FACE_FOREGROUND(f) ((f)->foreground) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
67 #define FACE_BACKGROUND(f) ((f)->background) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
68 #define FACE_FONT(f) ((f)->font) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
69 #define FACE_STIPPLE(f) ((f)->stipple) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
70 #define FACE_UNDERLINE_P(f) ((f)->underline) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
71 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
72 #else /* Not X */ |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
73 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
74 typedef int FACE; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
75 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
76 #define NORMAL_FACE 0x0 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
77 #define HIGHLIGHT_FACE 0x1 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
78 #define UNDERLINE_FACE 0x2 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
79 #define HIGHLIGHT_UNDERLINE_FACE 0x3 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
80 |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
81 #define FACE_HIGHLIGHT(f) ((f) & 0x1) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
82 #define FACE_UNDERLINE(f) ((f) & 0x2) |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
83 #endif /* Not X */ |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
84 |
247 | 85 |
764 | 86 /* This structure is used for the actual display of text on a frame. |
247 | 87 |
88 There are two instantiations of it: the glyphs currently displayed, | |
89 and the glyphs we desire to display. The latter object is generated | |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
90 from buffers being displayed. */ |
247 | 91 |
764 | 92 struct frame_glyphs |
247 | 93 { |
764 | 94 #ifdef MULTI_FRAME |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
95 struct frame *frame; /* Frame these glyphs belong to. */ |
764 | 96 #endif /* MULTI_FRAME */ |
247 | 97 int height; |
98 int width; | |
99 | |
764 | 100 /* Contents of the frame. |
485 | 101 glyphs[V][H] is the glyph at position V, H. |
102 Note that glyphs[V][-1], | |
103 glyphs[V][used[V]], | |
764 | 104 and glyphs[V][frame_width] are always '\0'. */ |
247 | 105 GLYPH **glyphs; |
106 /* long vector from which the strings in `glyphs' are taken. */ | |
107 GLYPH *total_contents; | |
108 | |
764 | 109 /* When representing a desired frame, |
110 enable[n] == 0 means that line n is same as current frame. | |
1649
c3225b867171
* dispextern.h (struct frame_glyphs): Doc fix.
Jim Blandy <jimb@redhat.com>
parents:
1510
diff
changeset
|
111 Between updates, all lines should be disabled. |
764 | 112 When representing current frame contents, |
485 | 113 enable[n] == 0 means that line n is blank. */ |
114 char *enable; | |
115 | |
116 /* Everything on line n after column used[n] is considered blank. */ | |
117 int *used; | |
118 | |
247 | 119 /* highlight[n] != 0 iff line n is highlighted. */ |
120 char *highlight; | |
121 | |
6658 | 122 /* Buffer offset of this line's first char. |
123 This is not really implemented, and cannot be, | |
124 and should be deleted. */ | |
247 | 125 int *bufp; |
126 | |
127 #ifdef HAVE_X_WINDOWS | |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
128 /* Pixel position of top left corner of line. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
129 short *top_left_x; |
247 | 130 short *top_left_y; |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
131 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
132 /* Pixel width of line. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
133 short *pix_width; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
134 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
135 /* Pixel height of line. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
136 short *pix_height; |
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
137 |
2395
aec61f55a84d
(struct face): New fields pixmap_h, pixmap_w.
Richard M. Stallman <rms@gnu.org>
parents:
1780
diff
changeset
|
138 /* Largest font ascent on this line. */ |
1409
7fd1c810daca
* dispextern.h: New element of frame structure `max_ascent'.
Joseph Arceneaux <jla@gnu.org>
parents:
764
diff
changeset
|
139 short *max_ascent; |
247 | 140 #endif /* HAVE_X_WINDOWS */ |
6570
2c6d3ba470bb
(struct frame_glyphs): New fields charstarts and total_charstarts.
Richard M. Stallman <rms@gnu.org>
parents:
3883
diff
changeset
|
141 |
6658 | 142 /* Mapping of coordinate pairs to buffer positions. |
143 This field holds a vector indexed by row number. | |
144 Its elements are vectors indexed by column number. | |
145 Each element of these vectors is a buffer position, 0, or -1. | |
146 | |
147 For a column where the image of a text character starts, | |
148 the element value is the buffer position of that character. | |
149 When a window's screen line starts in mid character, | |
150 the element for the line's first column (at the window's left margin) | |
151 is that character's position. | |
152 For successive columns within a multicolumn character, | |
153 the element is -1. | |
154 For the column just beyond the last glyph on a line, | |
155 the element is the buffer position of the end of the line. | |
156 For following columns within the same window, the element is 0. | |
157 For rows past the end of the accessible buffer text, | |
158 the window's first column has ZV and other columns have 0. | |
159 | |
160 Mode lines and vertical separator lines have 0. | |
161 | |
162 The column of a window's left margin | |
163 always has a positive value (a buffer position), not 0 or -1, | |
164 for each line in that window's interior. */ | |
165 | |
6570
2c6d3ba470bb
(struct frame_glyphs): New fields charstarts and total_charstarts.
Richard M. Stallman <rms@gnu.org>
parents:
3883
diff
changeset
|
166 int **charstarts; |
2c6d3ba470bb
(struct frame_glyphs): New fields charstarts and total_charstarts.
Richard M. Stallman <rms@gnu.org>
parents:
3883
diff
changeset
|
167 |
2c6d3ba470bb
(struct frame_glyphs): New fields charstarts and total_charstarts.
Richard M. Stallman <rms@gnu.org>
parents:
3883
diff
changeset
|
168 /* This holds all the space in the subvectors of the charstarts field. */ |
2c6d3ba470bb
(struct frame_glyphs): New fields charstarts and total_charstarts.
Richard M. Stallman <rms@gnu.org>
parents:
3883
diff
changeset
|
169 int *total_charstarts; |
247 | 170 }; |
171 | |
172 extern void get_display_line (); | |
1510
2fd5263590ea
* dispextern.h (sit_for): Declare this extern.
Jim Blandy <jimb@redhat.com>
parents:
1409
diff
changeset
|
173 extern Lisp_Object sit_for (); |