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

Re: Bug#765: mouse.el/hilit19.el font problem

   Date: Sat, 8 Apr 95 15:23 BST
   From: iwj10@cus.cam.ac.uk (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.

Reply to: