annotate oldXMenu/copyright.h @ 99492:ee792794d888

(isearch-search-fun): Compare the length of the current search string with the length of the string from the previous search state to detect the situation when the user adds or removes characters in the search string. Use word-search-forward-lax and word-search-backward-lax in this case, and otherwise word-search-forward and word-search-backward.
author Juri Linkov <juri@jurta.org>
date Tue, 11 Nov 2008 19:43:09 +0000
parents e806467e7c39
children 07774e5c3ff5 dd7c098af727 ef719132ddfa
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25858
Dave Love <fx@gnu.org>
parents:
diff changeset
1 /*
Dave Love <fx@gnu.org>
parents:
diff changeset
2
Dave Love <fx@gnu.org>
parents:
diff changeset
3 Copyright 1985, 1986, 1987 by the Massachusetts Institute of Technology
Dave Love <fx@gnu.org>
parents:
diff changeset
4
Dave Love <fx@gnu.org>
parents:
diff changeset
5 Permission to use, copy, modify, and distribute this
Dave Love <fx@gnu.org>
parents:
diff changeset
6 software and its documentation for any purpose and without
Dave Love <fx@gnu.org>
parents:
diff changeset
7 fee is hereby granted, provided that the above copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
8 notice appear in all copies and that both that copyright
Dave Love <fx@gnu.org>
parents:
diff changeset
9 notice and this permission notice appear in supporting
Dave Love <fx@gnu.org>
parents:
diff changeset
10 documentation, and that the name of M.I.T. not be used in
Dave Love <fx@gnu.org>
parents:
diff changeset
11 advertising or publicity pertaining to distribution of the
Dave Love <fx@gnu.org>
parents:
diff changeset
12 software without specific, written prior permission.
Dave Love <fx@gnu.org>
parents:
diff changeset
13 M.I.T. makes no representations about the suitability of
Dave Love <fx@gnu.org>
parents:
diff changeset
14 this software for any purpose. It is provided "as is"
Dave Love <fx@gnu.org>
parents:
diff changeset
15 without express or implied warranty.
Dave Love <fx@gnu.org>
parents:
diff changeset
16
Dave Love <fx@gnu.org>
parents:
diff changeset
17 */
Dave Love <fx@gnu.org>
parents:
diff changeset
18
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
19 /* arch-tag: c689b1bc-a3ba-41a1-baa0-a3622b5445b2
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 25858
diff changeset
20 (do not change this comment) */