[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Face remapping on mouse menu

From: Miles Bader
Subject: Re: Face remapping on mouse menu
Date: Thu, 12 Jun 2008 17:21:25 +0900

Chong Yidong <address@hidden> writes:
> Now that the face-remapping code has been checked in, I'd suggest
> changing this menu to a "buffer faces" menu.  It should contain a few
> items that remap the `default' face in the current buffer: an item to
> increase the face size, an item to decrease the face size, and an item
> to change the face font.  When fontconfig is available, the latter can
> use x-popup-dialog to pop up the GTK font selector, instead of relying
> on x-fixed-font-alist.

It sounds like a great idea to me!

I agree that the current font-menu is not really all that useful for
many people... (I certainly never use it except in very exceptional
circumstances; in fact, I'm not sure the last time I used it... 1997 or
thereabouts? :-).


Guilt, n. The condition of one who is known to have committed an indiscretion,
as distinguished from the state of him who has covered his tracks.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]