annotate lispintro/.cvsignore @ 43884:eb248012bf4a

(x_set_toolkit_scroll_bar_thumb) <USE_MOTIF>: Use a fixed-size thumb (based on an ad-hoc estimate of 30 chars per line) to avoid annoying flicker. (xm_scroll_callback): Get rid of the now unnecessary kludge. (XTread_socket): Mark it static.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Wed, 13 Mar 2002 17:04:49 +0000
parents d90447516029
children adbf7c56937f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
41429
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
1 *.aux
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
2 *.fn
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
3 *.fns
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
4 *.cps
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
5 *.cp
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
6 *.kys
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
7 *.ky
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
8 *.toc
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
9 *.pgs
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
10 *.pg
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
11 *.log
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
12 *.vrs
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
13 *.vr
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
14 *.dvi
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
15 *.ps
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
16 *.tp
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
17 *.tps
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
18 *.tmp
41869
d90447516029 Added *.txt to .cvsignore list.
Robert J. Chassell <bob@rattlesnake.com>
parents: 41429
diff changeset
19 *.txt
41429
75e2a0dcadcd *** empty log message ***
Eli Zaretskii <eliz@gnu.org>
parents:
diff changeset
20 Makefile