[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Case problem with menus

From: Richard Stallman
Subject: Re: Case problem with menus
Date: Sat, 23 Oct 2004 22:51:01 -0400

    Now it is obvious that the identifying symbols before the menu-items
    are being downcased from their respective menu strings, and that we
    get duplicate symbols this way.

    Who is doing the downcasing?

I think it is easy-menu-intern.

The reason for downcasing there is that the convention is to capitalize
menu item strings, but menu item symbols are normally lower-case.

We could change it to reverse the case of letters that don't follow
other letters.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]