>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Jean-Marc Lasgouttes schrieb: >> There is a reason for example why 'Toggle read only' was not there. >> This is a very specialized lfun which was added at someone's >> request; for the casual user, it will cause more puzzlement than >> anything. >> Michael> This patch removes the "Read-Only" entry from the menu and Michael> labels some menus consistently (inside the ui file!). If we are renaming the menus themselves, wouldn't it be better to *remove* the name of the enclosing menu everywhere, like document_update->update? But I would not disagree with this patch. JMarc
