From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Dave Aspinall Newsgroups: gmane.emacs.bugs Subject: bug#4911: mouse-face property should merge face attributes, not replace Date: Thu, 12 Nov 2009 12:41:16 +0000 Message-ID: <4AFC026C.4060701@googlemail.com> Reply-To: Dave Aspinall , 4911@emacsbugs.donarmstrong.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1258144575 15544 80.91.229.12 (13 Nov 2009 20:36:15 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Fri, 13 Nov 2009 20:36:15 +0000 (UTC) To: bug-gnu-emacs@gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Nov 13 21:36:08 2009 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1N92sH-0001Do-W5 for geb-bug-gnu-emacs@m.gmane.org; Fri, 13 Nov 2009 21:36:06 +0100 Original-Received: from localhost ([127.0.0.1]:44341 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N92sH-0007zM-Bw for geb-bug-gnu-emacs@m.gmane.org; Fri, 13 Nov 2009 15:36:05 -0500 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1N8ZOa-0000nC-TJ for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 08:07:28 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1N8ZOV-0000l0-I4 for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 08:07:27 -0500 Original-Received: from [199.232.76.173] (port=39143 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N8ZOV-0000kr-6F for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 08:07:23 -0500 Original-Received: from rzlab.ucr.edu ([138.23.92.77]:50464) by monty-python.gnu.org with esmtps (TLS-1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.60) (envelope-from ) id 1N8ZOU-0003cp-JC for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 08:07:22 -0500 Original-Received: from rzlab.ucr.edu (rzlab.ucr.edu [127.0.0.1]) by rzlab.ucr.edu (8.14.3/8.14.3/Debian-5) with ESMTP id nACD7Igu005701; Thu, 12 Nov 2009 05:07:18 -0800 Original-Received: (from debbugs@localhost) by rzlab.ucr.edu (8.14.3/8.14.3/Submit) id nACCt5tf003692; Thu, 12 Nov 2009 04:55:05 -0800 Resent-Date: Thu, 12 Nov 2009 04:55:05 -0800 X-Loop: owner@emacsbugs.donarmstrong.com Resent-From: Dave Aspinall Resent-To: bug-submit-list@donarmstrong.com Resent-CC: Emacs Bugs 2Resent-Date: Thu, 12 Nov 2009 12:55:04 +0000 Resent-Message-ID: Resent-Sender: owner@emacsbugs.donarmstrong.com X-Emacs-PR-Message: report 4911 X-Emacs-PR-Package: emacs X-Emacs-PR-Keywords: Original-Received: via spool by submit@emacsbugs.donarmstrong.com id=B.12580296912368 (code B ref -1); Thu, 12 Nov 2009 12:55:04 +0000 Original-Received: (at submit) by emacsbugs.donarmstrong.com; 12 Nov 2009 12:41:31 +0000 X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available. hammytokens:Tokens not available. Original-Received: from lists.gnu.org (lists.gnu.org [199.232.76.165]) by rzlab.ucr.edu (8.14.3/8.14.3/Debian-5) with ESMTP id nACCfTUJ002363 for ; Thu, 12 Nov 2009 04:41:30 -0800 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1N8YzQ-0008Rd-Hn for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 07:41:28 -0500 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1N8YzK-0008Pm-3X for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 07:41:26 -0500 Original-Received: from [199.232.76.173] (port=52389 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1N8YzJ-0008Pe-Oe for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 07:41:21 -0500 Original-Received: from mail-bw0-f215.google.com ([209.85.218.215]:46975) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1N8YzJ-0006rI-8x for bug-gnu-emacs@gnu.org; Thu, 12 Nov 2009 07:41:21 -0500 Original-Received: by bwz7 with SMTP id 7so2197981bwz.26 for ; Thu, 12 Nov 2009 04:41:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from :user-agent:mime-version:to:subject:content-type :content-transfer-encoding; bh=k6T/cjoUCwfkvYexoBrFMq4K4nUY8wuJKkvyVB+Jju4=; b=jgK/ojvaR/UqiTdBy5Mdq1YSXG5lS/PYiITlvsiISF7rJEoT+EVBaaG2qNpX/Mu3WW aAfaLT41tQsFaDx2H/iG7bng0PisBEojysRRRj6o8iY5zi4FaLCam9p2RORzyNjxYRcg NOYhSv7cc7QmS1BBNJZFlL6uS2EkQ1ti8LFso= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=message-id:date:from:user-agent:mime-version:to:subject :content-type:content-transfer-encoding; b=TgkfzZeGjD4kEOVgzentD2S2xfnICKIKmX4Ow+6euxFEhjaWIg6WMlFKP2kdU7gnyZ RnawVH/mVHZjuC1in+5ZCPHyFUFIO7NRmSI8HvsehFqJd8AhtJZbr/VKHnykIY2VWU4F Ipo4Fclppa47RWY1/7ZKxJQKYgluHBcevnUPg= Original-Received: by 10.216.85.133 with SMTP id u5mr1032096wee.91.1258029678732; Thu, 12 Nov 2009 04:41:18 -0800 (PST) Original-Received: from seldon.inf.ed.ac.uk (dhcp-90-125.inf.ed.ac.uk [129.215.90.125]) by mx.google.com with ESMTPS id 5sm222503eyf.0.2009.11.12.04.41.17 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 12 Nov 2009 04:41:17 -0800 (PST) User-Agent: Thunderbird 2.0.0.23 (X11/20090825) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) X-detected-operating-system: by monty-python.gnu.org: GNU/Linux 2.6 (newer, 2) Resent-Date: Thu, 12 Nov 2009 08:07:27 -0500 X-Mailman-Approved-At: Fri, 13 Nov 2009 15:36:00 -0500 X-BeenThere: bug-gnu-emacs@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:32590 Archived-At: Dear Emacs developers, Perhaps this has been noted already: the low-level behaviour of the mouse-face property seems ugly: it simply overwrites the face property for characters under the mouse. For example in Info, blue underlined links turn black without the underline when the mouse is hovered over them to give the green background from the highlight face. This feels unnatural. In Proof General (http://proofgeneral.inf.ed.ac.uk) we use the mouse-face property on programming language text which is heavily decorated with font-lock. Users complain that when the mouse is over a region the normal fontification is obliterated. - David Aspinall. PS incidentally, we used to prefer XEmacs for Proof General, its display engine did the right thing here.