>>>>> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes:
Richard> The attached patch does the greying out. OK to commit? OK for me. Richard> This leaves the question whether having both "Close" and Richard> "Close Window" is confusing. Stefan is right in what he says Richard> here: Close View is bad. Don't know. Richard> But could "Close" become "Close File"? and, if so, should Richard> "Save" become "Save File"? No. I think these names are fairly standard. JMarc
