annotate src/sink.h @ 26059:2a7f35e0072b

(Fminibuffer_complete_and_exit): Supply value for new ESCAPE_FROM_EDGE parameter to Ffield_beginning. (Fminibuffer_complete_word): Use Ffield_beginning to find the prompt end. (Fminibuffer_complete_and_exit): Test for an empty input string by seeing where the field begins, instead of looking at text-properties. (read_minibuf): Don't save minibuffer prompt length on minibuf_save_list. Don't initialize minibuffer prompt length. Wrap prompt text-properties around the entire prompt. Add 'prompt text-property to prompt. Get final value with Ffield_string instead of make_buffer_string. (read_minibuf_unwind): Don't restore minibuffer prompt length from minibuf_save_list. (do_completion): Get minibuffer input with Ffield_string instead of Fbuffer_string. Erase minibuffer input with Ferase_field instead of erase_buffer. (Fminibuffer_complete_and_exit): Likewise. Test whether buffer is empty by looking for the 'prompt text property at the end. Set prompt length by looking for the end of the prompt text property, and save prompt length for later use (since there is no longer a buffer variable to get it from). (Fminibuffer_prompt_width, Fminibuffer_prompt_end): Functions removed. (syms_of_minibuf): Remove initializations of Sminibuffer_prompt_width and Sminibuffer_prompt_end.
author Gerd Moellmann <gerd@gnu.org>
date Sun, 17 Oct 1999 12:55:49 +0000
parents 3165b2697c78
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
484
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
1 #define sink_width 48
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
2 #define sink_height 48
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
3 #ifdef HAVE_X11
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
4 static char sink_bits[] = {
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
5 0xff, 0xff, 0xff, 0xff, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
6 0xff, 0xff, 0xff, 0xff, 0x80, 0x9f,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
7 0xff, 0xff, 0xff, 0xff, 0x9f, 0x9f,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
8 0xff, 0xff, 0xff, 0xff, 0x00, 0x80,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
9 0xff, 0xff, 0xff, 0x7f, 0xfe, 0xbf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
10 0xff, 0xff, 0xff, 0x7f, 0x03, 0xa0,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
11 0xff, 0xff, 0xff, 0x7f, 0xfd, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
12 0xff, 0xff, 0xff, 0x3f, 0xf9, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
13 0xff, 0xff, 0xff, 0xff, 0xff, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
14 0xff, 0xff, 0xff, 0xff, 0xfc, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
15 0xff, 0xff, 0xff, 0x7f, 0xf8, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
16 0xff, 0xff, 0xff, 0xff, 0xfc, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
17 0xff, 0xff, 0xff, 0xff, 0xff, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
18 0xff, 0xff, 0xff, 0xbf, 0xf7, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
19 0xff, 0xff, 0xff, 0x3f, 0xf3, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
20 0xff, 0xff, 0xff, 0xff, 0xfc, 0xaf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
21 0x3f, 0x00, 0x00, 0x00, 0x00, 0x20,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
22 0x7f, 0x00, 0x00, 0x00, 0x00, 0xe0,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23 0xdf, 0xf8, 0xff, 0xff, 0xff, 0x07,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24 0xcf, 0xf9, 0x0f, 0xff, 0xff, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25 0xcf, 0xf9, 0xf7, 0xff, 0xff, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
26 0xff, 0xf9, 0xf7, 0x63, 0xfb, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 0xff, 0xf9, 0x37, 0x5a, 0xfb, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 0xcf, 0xf9, 0xf7, 0x5a, 0xfb, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29 0xcf, 0xf9, 0xf7, 0x5a, 0xf9, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30 0xef, 0xf9, 0x0f, 0xdb, 0xfa, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31 0xff, 0xf9, 0xff, 0xff, 0xff, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32 0xdf, 0xf9, 0xff, 0xff, 0xff, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 0xcf, 0x19, 0xfc, 0xff, 0xff, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34 0xcf, 0xd9, 0xff, 0xff, 0xff, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
35 0xff, 0xd9, 0x47, 0xce, 0x73, 0xe6,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36 0xff, 0x19, 0xb6, 0xb5, 0xad, 0xe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
37 0xcf, 0xd9, 0xb7, 0xb5, 0x7d, 0xe6,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
38 0xc7, 0xd9, 0xb7, 0xb5, 0xed, 0xe5,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39 0xef, 0x19, 0xb4, 0x4d, 0x73, 0xe6,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
40 0xff, 0xf1, 0xff, 0xff, 0xff, 0xe3,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
41 0xff, 0x03, 0x80, 0x03, 0x00, 0xf0,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
42 0xef, 0x07, 0x00, 0x01, 0x00, 0xf8,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
43 0xc7, 0xff, 0x3f, 0xf9, 0xff, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
44 0xe7, 0xff, 0x7f, 0xfd, 0xe0, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 0xff, 0xff, 0x7f, 0x7d, 0xdf, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
46 0xff, 0xff, 0x7f, 0xbd, 0xb1, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 0xff, 0xff, 0x7f, 0xbb, 0xae, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
48 0xef, 0xff, 0xff, 0xda, 0xae, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49 0xc7, 0xff, 0xff, 0x66, 0xaf, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
50 0xe7, 0xff, 0xff, 0xbd, 0xaf, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51 0xff, 0xff, 0xff, 0xc3, 0xaf, 0xff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
52 0xff, 0xff, 0xff, 0xff, 0xaf, 0xff};
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
53 #else
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
54 short sink_bits[] = {
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55 0xffff, 0xffff, 0xffff, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
56 0xffff, 0x9f80, 0xffff, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
57 0x9f9f, 0xffff, 0xffff, 0x8000,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
58 0xffff, 0x7fff, 0xbffe, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
59 0x7fff, 0xa003, 0xffff, 0x7fff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
60 0xaffd, 0xffff, 0x3fff, 0xaff9,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
61 0xffff, 0xffff, 0xafff, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
62 0xffff, 0xaffc, 0xffff, 0x7fff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
63 0xaff8, 0xffff, 0xffff, 0xaffc,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
64 0xffff, 0xffff, 0xafff, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
65 0xbfff, 0xaff7, 0xffff, 0x3fff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66 0xaff3, 0xffff, 0xffff, 0xaffc,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
67 0x003f, 0x0000, 0x2000, 0x007f,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
68 0x0000, 0xe000, 0xf8df, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
69 0x07ff, 0xf9cf, 0xff0f, 0xe7ff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
70 0xf9cf, 0xfff7, 0xe7ff, 0xf9ff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
71 0x63f7, 0xe7fb, 0xf9ff, 0x5a37,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
72 0xe7fb, 0xf9cf, 0x5af7, 0xe7fb,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
73 0xf9cf, 0x5af7, 0xe7f9, 0xf9ef,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
74 0xdb0f, 0xe7fa, 0xf9ff, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
75 0xe7ff, 0xf9df, 0xffff, 0xe7ff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
76 0x19cf, 0xfffc, 0xe7ff, 0xd9cf,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
77 0xffff, 0xe7ff, 0xd9ff, 0xce47,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
78 0xe673, 0x19ff, 0xb5b6, 0xe7ad,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
79 0xd9cf, 0xb5b7, 0xe67d, 0xd9c7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
80 0xb5b7, 0xe5ed, 0x19ef, 0x4db4,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
81 0xe673, 0xf1ff, 0xffff, 0xe3ff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
82 0x03ff, 0x0380, 0xf000, 0x07ef,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
83 0x0100, 0xf800, 0xffc7, 0xf93f,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
84 0xffff, 0xffe7, 0xfd7f, 0xffe0,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
85 0xffff, 0x7d7f, 0xffdf, 0xffff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
86 0xbd7f, 0xffb1, 0xffff, 0xbb7f,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
87 0xffae, 0xffef, 0xdaff, 0xffae,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
88 0xffc7, 0x66ff, 0xffaf, 0xffe7,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
89 0xbdff, 0xffaf, 0xffff, 0xc3ff,
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
90 0xffaf, 0xffff, 0xffff, 0xffaf};
3165b2697c78 entered into RCS
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
91 #endif /* HAVE_X11 */