address@hidden: Bug#122594: info: Index isn't sure if it should be case sensitive or not]

[Josip Rodin]

----- Forwarded message from Anthony DeRobertis <address@hidden> -----

Subject: Bug#122594: info: Index isn't sure if it should be case sensitive or 
not
Reply-To: Anthony DeRobertis <address@hidden>, address@hidden
X-Debian-PR-Package: info
From: Anthony DeRobertis <address@hidden>
To: Debian Bug Tracking System <address@hidden>
X-Reportbug-Version: 1.36
Date: Wed, 05 Dec 2001 15:32:35 -0500

Package: info
Version: 4.0b-2
Severity: normal
File: /usr/bin/info

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

1) info bison
2) type 'i'
3) type YY <tab>
        ... note it now displays YY ...
4) type E <tab>
        ... note it now displays YYE ...
5) type R <tab>
        ... now it displays yyerro ...
        ... and tab tab shows there is both a YYERROR and yyerro ...

Indexes seem to generally be case insenitive, but once they hit a place
where they need to do otherwise, they have some annoying behavior,
converting all the letters I entered to lowercase. Sometimes, at least.
If I enter in 'R' at that point, and hit tab, it all goes back to
uppercase.

I'd suggest a much nicer (at least for me) algorithm would be to do case
insensitive on all-lowercase entries, but once I start typing in all
caps, I mean it. YYER <tab>, for example, should get me YYERROR. 

- -- System Information
Debian Release: testing/unstable
Architecture: i386
Kernel: Linux bohr 2.4.16 #2 SMP Wed Nov 28 05:25:00 EST 2001 i686
Locale: LANG=en_US, LC_CTYPE=en_US

Versions of packages info depends on:
ii  libc6                     2.2.4-5        GNU C Library: Shared libraries an
ii  libncurses5               5.2.20010318-3 Shared libraries for terminal hand

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.6 (GNU/Linux)
Comment: For info see http://www.gnupg.org

iD8DBQE8DoRo5lsmI6uA7bQRAh/MAJ4twaJsg8X/1vjjRvV1uhsX6LYowACcDGKe
KsGEP+xfs0O/SBXa29d+vP8=
=Kq6S
-----END PGP SIGNATURE-----

----- End forwarded message -----

-- 
     2. That which causes joy or happiness.