annotate src/sinkmask.h @ 13267:12d329dd9940

(read_char): If we reread a char, the next pause can start echoing despite a remaining echo area message. (ok_to_echo_at_next_pause): New variable. (cancel_echoing): Clear ok_to_echo_at_next_pause.
author Richard M. Stallman <rms@gnu.org>
date Sat, 21 Oct 1995 23:17:06 +0000
parents 0ffcf74fb8ad
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1113
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
1 #define sinkmask_width 48
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
2 #define sinkmask_height 48
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
3 static char sinkmask_bits[] = {
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
4 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x7f, 0x60,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
5 0x00, 0x00, 0x00, 0x00, 0x60, 0x60, 0x00, 0x00, 0x00, 0x00, 0xff, 0x7f,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
6 0x00, 0x00, 0x00, 0x80, 0x01, 0x40, 0x00, 0x00, 0x00, 0x80, 0xfc, 0x5f,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
7 0x00, 0x00, 0x00, 0x80, 0x02, 0x50, 0x00, 0x00, 0x00, 0xc0, 0x06, 0x50,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
8 0x00, 0x00, 0x00, 0x00, 0x00, 0x50, 0x00, 0x00, 0x00, 0x00, 0x03, 0x50,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
9 0x00, 0x00, 0x00, 0x80, 0x07, 0x50, 0x00, 0x00, 0x00, 0x00, 0x03, 0x50,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
10 0x00, 0x00, 0x00, 0x00, 0x00, 0x50, 0x00, 0x00, 0x00, 0x40, 0x08, 0x50,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
11 0x00, 0x00, 0x00, 0xc0, 0x0c, 0x50, 0x00, 0x00, 0x00, 0x00, 0x03, 0x50,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
12 0xc0, 0xff, 0xff, 0xff, 0xff, 0xdf, 0x80, 0xff, 0xff, 0xff, 0xff, 0x1f,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
13 0x20, 0x07, 0x00, 0x00, 0x00, 0xf8, 0x30, 0x06, 0xf0, 0x00, 0x00, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
14 0x30, 0x06, 0x08, 0x00, 0x00, 0x18, 0x00, 0x06, 0x08, 0x9c, 0x04, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
15 0x00, 0x06, 0xc8, 0xa5, 0x04, 0x18, 0x30, 0x06, 0x08, 0xa5, 0x04, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
16 0x30, 0x06, 0x08, 0xa5, 0x06, 0x18, 0x10, 0x06, 0xf0, 0x24, 0x05, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
17 0x00, 0x06, 0x00, 0x00, 0x00, 0x18, 0x20, 0x06, 0x00, 0x00, 0x00, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
18 0x30, 0xe6, 0x03, 0x00, 0x00, 0x18, 0x30, 0x26, 0x00, 0x00, 0x00, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
19 0x00, 0x26, 0xb8, 0x31, 0x8c, 0x19, 0x00, 0xe6, 0x49, 0x4a, 0x52, 0x18,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
20 0x30, 0x26, 0x48, 0x4a, 0x82, 0x19, 0x38, 0x26, 0x48, 0x4a, 0x12, 0x1a,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
21 0x10, 0xe6, 0x4b, 0xb2, 0x8c, 0x19, 0x00, 0x0e, 0x00, 0x00, 0x00, 0x1c,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
22 0x00, 0xfc, 0x7f, 0xfc, 0xff, 0x0f, 0x10, 0xf8, 0xff, 0xfe, 0xff, 0x07,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
23 0x38, 0x00, 0xc0, 0x06, 0x00, 0x00, 0x18, 0x00, 0x80, 0x02, 0x1f, 0x00,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
24 0x00, 0x00, 0x80, 0x82, 0x20, 0x00, 0x00, 0x00, 0x80, 0x42, 0x4e, 0x00,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
25 0x00, 0x00, 0x80, 0x44, 0x51, 0x00, 0x10, 0x00, 0x00, 0x25, 0x51, 0x00,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
26 0x38, 0x00, 0x00, 0x99, 0x50, 0x00, 0x18, 0x00, 0x00, 0x42, 0x50, 0x00,
0ffcf74fb8ad entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 486
diff changeset
27 0x00, 0x00, 0x00, 0x3c, 0x50, 0x00, 0x00, 0x00, 0x00, 0x00, 0x50, 0x00};