annotate src/.dbxinit @ 30050:ed1979c6dfb9

* xterm.c (note_mode_line_highlight, note_mouse_highlight) (note_tool_bar_highlight, XTread_socket): * msdos.c (IT_note_mode_line_highlight, IT_note_mouse_highlight) (dos_rawgetc): * w32term.c (note_mode_line_highlight, note_mouse_highlight) (note_tool_bar_highlight, w32_read_socket): Do not gratuitously ignore non-string `help-echo' properties.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 05 Jul 2000 13:41:00 +0000
parents 18e524802887
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25843
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
1 ignore 14
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
2 catch 18
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
3 ignore 20
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
4 ignore 23
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
5 alias s step
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
6 alias n next
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
7 alias c cont
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
8 alias st status
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
9 alias r run
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
10 alias l list
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
11 alias f file
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
12 alias q quit
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
13 alias w where
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
14 alias d delete
18e524802887 #ecrt0.c
Dave Love <fx@gnu.org>
parents:
diff changeset
15 alias p print