annotate oldXMenu/copyright.h @ 33068:a31c3787231b

(echo_area_display): Don't perform a display update from inside redisplay. The update will happen anyway at the end of redisplay, and it can confuse redisplay (GC messages while redisplaying, for instance.)
author Gerd Moellmann <gerd@gnu.org>
date Mon, 30 Oct 2000 15:23:41 +0000
parents bbce331da1be
children 695cf19ef79e d7ddb3e565de
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /* $Header: /u/src/emacs/19.0/oldXMenu/RCS/copyright.h,v 1.1 1992/04/11 22:10:22 jimb Exp $ */
Dave Love <fx@gnu.org>
parents:
diff changeset
2 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
3
Dave Love <fx@gnu.org>
parents:
diff changeset
4 Copyright 1985, 1986, 1987 by the Massachusetts Institute of Technology
Dave Love <fx@gnu.org>
parents:
diff changeset
5
Dave Love <fx@gnu.org>
parents:
diff changeset
6 Permission to use, copy, modify, and distribute this
Dave Love <fx@gnu.org>
parents:
diff changeset
7 software and its documentation for any purpose and without
Dave Love <fx@gnu.org>
parents:
diff changeset
8 fee is hereby granted, provided that the above copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
9 notice appear in all copies and that both that copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
10 notice and this permission notice appear in supporting
Dave Love <fx@gnu.org>
parents:
diff changeset
11 documentation, and that the name of M.I.T. not be used in
Dave Love <fx@gnu.org>
parents:
diff changeset
12 advertising or publicity pertaining to distribution of the
Dave Love <fx@gnu.org>
parents:
diff changeset
13 software without specific, written prior permission.
Dave Love <fx@gnu.org>
parents:
diff changeset
14 M.I.T. makes no representations about the suitability of
Dave Love <fx@gnu.org>
parents:
diff changeset
15 this software for any purpose. It is provided "as is"
Dave Love <fx@gnu.org>
parents:
diff changeset
16 without express or implied warranty.
Dave Love <fx@gnu.org>
parents:
diff changeset
17
Dave Love <fx@gnu.org>
parents:
diff changeset
18 */
Dave Love <fx@gnu.org>
parents:
diff changeset
19