Re: [Trisquel-usuarios] Emacs para academicos: Consultas

[albertoefg]

https://www.emacswiki.org/emacs/
Changing the (buffer) menu fonts for GTK emacs

According to  
http://stackoverflow.com/questions/3454466/emacs23-buffer-menu-font-gtk say  
in ~/.emacs.d/gtkrc:

style "menufont"
{
  font_name = "monospace 10"  # Pango font name
}
widget "*emacs-menuitem*" style "menufont"

Using widget "*" ... will change all “toolkit” fonts (menus, dialogs).A