Re: Xdefault-Einstellung für XEmacs-Menu?