It is not available in with Aquamacs (http://aquamacs.org/). I will
try the other Emacs that you mention.
Larry
On 3 Sep 2009, at 20:10, David Aspinall wrote:
> On Emacs 23, there should be "Options -> Set Default Font..." instead.
> Do you have that option?
On Thu, 3 Sep 2009, David Aspinall wrote:
> I hadn't realised that Emacs 23 was released at the end of July. At
> last! I managed to resurrect an old Powerbook and try out the build
> from CVS which worked well but needed some hackery to get the new font
> menu working. (A binary build of Em
Lawrence Paulson wrote:
> Thanks for the tip. On the X11 version of Emacs, I found Options -> Set
> font/fontset and it did the trick.
>
> I didn't have any luck however with Aquamacs (http://aquamacs.org/),
> which claims to be based on Emacs 23. I could not find Options -> Set
> font/fontset
Thanks for the tip. On the X11 version of Emacs, I found Options ->
Set font/fontset and it did the trick.
I didn't have any luck however with Aquamacs (http://aquamacs.org/),
which claims to be based on Emacs 23. I could not find Options -> Set
font/fontset at all.
Larry
On 25 Aug 2009, at
Lawrence Paulson wrote:
> Does anybody know what would cause the symbols that look like this? It
> is the latest version of proof general running under GNU Emacs 22.2.1
Nobody else came running so I'll answer...
First of all: everyone will have a *much* better experience with Emacs
23.x if you
Does anybody know what would cause the symbols that look like this? It
is the latest version of proof general running under GNU Emacs 22.2.1.
Larry
-- next part --
A non-text attachment was scrubbed...
Name: 1.jpg
Type: image/jpeg
Size: 42814 bytes
Desc: not available
URL