From: Richard Stallman <rms@gnu.org>
Cc: emacs-devel@gnu.org
Subject: Re: Make font menu available in menu bar
Date: Sun, 08 Jun 2003 20:22:27 -0400 [thread overview]
Message-ID: <E19PAQd-0006l1-4T@fencepost.gnu.org> (raw)
In-Reply-To: <3EDDB8B5.5070200@gnu.org> (message from Jason Rumney on Wed, 04 Jun 2003 10:15:33 +0100)
If we had a function to change the font of the text at point (or
selected text), then I agree it is a kind of Edit, but then it
should go under Text Properties. But changing the default font seems
more like an Option to me.
That seems plausible. Ok, I will put it directly under Options.
Having it under Mule does not make sense.
next prev parent reply other threads:[~2003-06-09 0:22 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-06-03 8:01 Make font menu available in menu bar Kai Großjohann
2003-06-04 8:53 ` Richard Stallman
2003-06-04 9:15 ` Jason Rumney
2003-06-09 0:22 ` Richard Stallman [this message]
2003-06-27 20:21 ` Kai Großjohann
2003-06-27 21:15 ` Kevin Rodgers
2003-06-28 14:10 ` Kai Großjohann
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E19PAQd-0006l1-4T@fencepost.gnu.org \
--to=rms@gnu.org \
--cc=emacs-devel@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.