[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Todays exercise of sanity (or does "see" really match "not"?)
From: |
Richard Stallman |
Subject: |
Re: Todays exercise of sanity (or does "see" really match "not"?) |
Date: |
Wed, 23 Mar 2005 15:26:00 -0500 |
Info-search operates on plain text Info files without text properties
set by Info-fontify.
How does that happen? Does Info-fontify sometimes fail to be called?
Anyway, when there are no such text properties, as far as I can see,
there is no problem and no need for any change. Search will find
the text that's in the buffer, which is also what the user sees.
Is there something here I am missing?
- RE: Todays exercise of sanity (or does "see" really match "not"?), (continued)
- RE: Todays exercise of sanity (or does "see" really match "not"?), Drew Adams, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Luc Teirlinck, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Kim F. Storm, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Luc Teirlinck, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Richard Stallman, 2005/03/25
- Re: Todays exercise of sanity (or does "see" really match "not"?), Juri Linkov, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Luc Teirlinck, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Richard Stallman, 2005/03/25
- Re: Todays exercise of sanity (or does "see" really match "not"?), Luc Teirlinck, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Richard Stallman, 2005/03/24
- Re: Todays exercise of sanity (or does "see" really match "not"?),
Richard Stallman <=
- Re: Todays exercise of sanity (or does "see" really match "not"?), Juri Linkov, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Richard Stallman, 2005/03/25
- Re: Todays exercise of sanity (or does "see" really match "not"?), Richard Stallman, 2005/03/22
- Re: Todays exercise of sanity (or does "see" really match "not"?), David Kastrup, 2005/03/22
- Re: Todays exercise of sanity (or does "see" really match "not"?), Kim F. Storm, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), David Kastrup, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Kim F. Storm, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Kim F. Storm, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), David Kastrup, 2005/03/23
- Re: Todays exercise of sanity (or does "see" really match "not"?), Richard Stallman, 2005/03/25