From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.bugs Subject: bug#4911: mouse-face property should merge face attributes, not replace Date: Tue, 1 Oct 2019 09:46:09 -0700 (PDT) Message-ID: <76cb44c2-3902-4c1c-a706-7cd972d12d96@default> References: <4AFC026C.4060701@googlemail.com> <87h84s5zjx.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="185862"; mail-complaints-to="usenet@blaine.gmane.org" Cc: 4911@debbugs.gnu.org To: Lars Ingebrigtsen , Dave Aspinall Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Oct 01 19:02:03 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1iFLXF-000mBW-8P for geb-bug-gnu-emacs@m.gmane.org; Tue, 01 Oct 2019 19:02:01 +0200 Original-Received: from localhost ([::1]:45182 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iFLXD-0005Rw-FC for geb-bug-gnu-emacs@m.gmane.org; Tue, 01 Oct 2019 13:01:59 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57380) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1iFLIl-0004O9-UH for bug-gnu-emacs@gnu.org; Tue, 01 Oct 2019 12:47:04 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1iFLIk-0005HX-Qs for bug-gnu-emacs@gnu.org; Tue, 01 Oct 2019 12:47:03 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:54059) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1iFLIk-0005HH-Mw for bug-gnu-emacs@gnu.org; Tue, 01 Oct 2019 12:47:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1iFLIk-0003ci-75 for bug-gnu-emacs@gnu.org; Tue, 01 Oct 2019 12:47:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Drew Adams Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Tue, 01 Oct 2019 16:47:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 4911 X-GNU-PR-Package: emacs Original-Received: via spool by 4911-submit@debbugs.gnu.org id=B4911.156994838412166 (code B ref 4911); Tue, 01 Oct 2019 16:47:02 +0000 Original-Received: (at 4911) by debbugs.gnu.org; 1 Oct 2019 16:46:24 +0000 Original-Received: from localhost ([127.0.0.1]:34647 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iFLI7-00038d-1H for submit@debbugs.gnu.org; Tue, 01 Oct 2019 12:46:24 -0400 Original-Received: from userp2130.oracle.com ([156.151.31.86]:55330) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1iFLI3-00031G-Ev for 4911@debbugs.gnu.org; Tue, 01 Oct 2019 12:46:20 -0400 Original-Received: from pps.filterd (userp2130.oracle.com [127.0.0.1]) by userp2130.oracle.com (8.16.0.27/8.16.0.27) with SMTP id x91GYUqj045525; Tue, 1 Oct 2019 16:46:13 GMT DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=oracle.com; h=mime-version : message-id : date : from : sender : to : cc : subject : references : in-reply-to : content-type : content-transfer-encoding; s=corp-2019-08-05; bh=+5GPVt+csBhi5+gVYqZr5W9VW1BE8e/1IPc8lDHyKCM=; b=TBqXgo9bCDT1SlF0lhkzwEHwcMFwlY4nwKR6LCbq3Dy6LtDgIQXSjAfRTzRHbxaZV3he wTLRrNdQR7HHN1NZ6fNEUbDkwExb7tmq19S+6jf/zM9LjpLbZXaIbW5oU+mTm1lhBJ9Z Kw0CN/AtmZN/QWwCC3rNZDTSnmAy5dCyXtugwLC8uEF6R50LzxLd/0SpkA7cxdBRbs0h Lwuic/AXduoadXtS7erQ7Gyg18Rk8oQ7M6u8KFTOhFxw4kOC/2lAubFvWdfHVGa8/1NY OMkAERrwFAQ5vdEABPIJuiExmDVXCZNx8H333nuECKnAuzZC81z871q1UZYI795hpm4d GQ== Original-Received: from aserp3020.oracle.com (aserp3020.oracle.com [141.146.126.70]) by userp2130.oracle.com with ESMTP id 2v9xxuqe03-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 01 Oct 2019 16:46:13 +0000 Original-Received: from pps.filterd (aserp3020.oracle.com [127.0.0.1]) by aserp3020.oracle.com (8.16.0.27/8.16.0.27) with SMTP id x91GXPo8001431; Tue, 1 Oct 2019 16:46:12 GMT Original-Received: from userv0122.oracle.com (userv0122.oracle.com [156.151.31.75]) by aserp3020.oracle.com with ESMTP id 2vbqd15xrs-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 01 Oct 2019 16:46:12 +0000 Original-Received: from abhmp0019.oracle.com (abhmp0019.oracle.com [141.146.116.25]) by userv0122.oracle.com (8.14.4/8.14.4) with ESMTP id x91GkAGH026685; Tue, 1 Oct 2019 16:46:10 GMT In-Reply-To: <87h84s5zjx.fsf@gnus.org> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 16.0.4900.0 (x86)] X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9397 signatures=668685 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 suspectscore=0 malwarescore=0 phishscore=0 bulkscore=0 spamscore=0 mlxscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1908290000 definitions=main-1910010141 X-Proofpoint-Virus-Version: vendor=nai engine=6000 definitions=9397 signatures=668685 X-Proofpoint-Spam-Details: rule=notspam policy=default score=0 priorityscore=1501 malwarescore=0 suspectscore=0 phishscore=0 bulkscore=0 spamscore=0 clxscore=1011 lowpriorityscore=0 mlxscore=0 impostorscore=0 mlxlogscore=999 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.0.1-1908290000 definitions=main-1910010141 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:168052 Archived-At: > > 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. > > > > 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. FWIW, I don't think it's ugly, and I don't think the underlying (non mouse-face) face attributes show show (be merged). IOW. I'm one user who prefers the current (longstanding) behavior. Just one opinion. > I think it might make sense to merge the properties... but, on the > other hand, this may make the text illegible. Not just less legible. Different (conflicting) purposes. It's easy enough to move the mouse, to see the non-hover face. Why would one suppose that someone wants to merge that face with `mouse-face'? Remember too that `mouse-face' can have any face properties - you are talking about merging arbitrary faces. Just what is the motivation, besides someone feeling the behavior is "ugly"? That font-lock highlighting doesn't show when there's a link (or some other use of `mouse-face') is a feature, not a bug. Why do Proof General users need to see both kinds of highlighting at the same time? And merging could, at least in some cases, make noticing the link etc. difficult. To me, it sounds like Proof General should look for another solution to the problem presented.