[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Abbrev should preserve case
From: |
Richard Stallman |
Subject: |
Re: Abbrev should preserve case |
Date: |
Thu, 21 Jun 2007 13:32:41 -0400 |
The handling of case in abbrevs is designed to work well
for abbreviations for words and phrases used in text.
It is the right thing.
It might be ok to allow separate definitions for non-lower-case
abbrevs, and look first for them when the text to be expanded
is not lower case.
This would be ok provided that it has no effect on the handling
of the sort of abbrevs that now exist.
Re: Abbrev should preserve case,
Richard Stallman <=