Re: Bug#765: mouse.el/hilit19.el font problem
Date: Sat, 8 Apr 95 15:23 BST
From: firstname.lastname@example.org (Ian Jackson)
mouse.el interacts badly with hilit19.el; the fonts are wrong. Here's
a patch (from 'diff -u -w <old> <new>') which seems to fix it for me:
I forwarded this bug report to Richard Stallman. This was his reply:
> This patch doesn't seem correct to me. It would make Emacs fail to
> find these fonts if the X server doesn't know them under the long
> names. I don't see how this is a good thing.
> I would be reluctant to change mouse.el just to make hilit19 work.
> hilit19 is less important than mouse.el and it's not the preferred way
> to do highlighting. If it's clear that mouse.el is doing something
> wrong, then no matter where the problem shows up, I'll make it right;
> but so far there's no evidence of that in this case.