[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Show/Hide menu
From: |
Richard Stallman |
Subject: |
Re: [PATCH] Show/Hide menu |
Date: |
Mon, 21 Jan 2002 02:41:32 -0700 (MST) |
It looks good to me--if it works, please install it.
BTW - anyone willing to implement radio button for menus? That would be
better here for scroll-bars.
Isn't this already implemented? The Options menu uses radio buttons
and they seem to work for me.
Re: [PATCH] Show/Hide menu, Werner LEMBERG, 2002/01/20
Re: [PATCH] Show/Hide menu, Kim F. Storm, 2002/01/20
Re: [PATCH] Show/Hide menu,
Richard Stallman <=