Re: Adding a menu item for htmlfontify-buffer to File menu

[Stefan Monnier]

> How do you think adding a menu item for htmlfontify-buffer to File menu?

I agree that it should be reachable from the menu.  OTOH that File menu
has already too many entries to "print".

Maybe that Print subsection should be put into its own submenu, or maybe
we should have just "print buffer" and "print region" and then prompt
the user about how she wants to print (just print, to ps, to b&w ps, to
html, younameit).


        Stefan