GNU bug report logs - #76394
mouse-face property not working in tab-bar

Previous Next

Full log

Message #71 received at 76394 <at> debbugs.gnu.org (full text, mbox):

From: Ship Mints <shipmints <at> gmail.com>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: 76394 <at> debbugs.gnu.org, juri <at> linkov.net
Subject: Re: bug#76394: mouse-face property not working in tab-bar
Date: Fri, 28 Feb 2025 14:15:19 -0500

[Message part 1 (text/plain, inline)]

On Fri, Feb 28, 2025 at 2:08 PM Eli Zaretskii <eliz <at> gnu.org> wrote:

>
> > My default c-basic-offset is 4.  .dir-locals.el is silent on that, so I
> get mine rather than yours.  Would you like
> > me to update .dir.locals.el?  I will put a locals-2 with the correction,
> at least that will get me started.
>
> .dir-locals.el sets the indentation style, but it doesn't attempt to
> override every customization variable whose value is determined by the
> style.
>

It mystifies me why the dir-locals style does not override my default
c-basic-offset.  I looked at the cc-mode manual and a bit at the code, and
there's no mention that I saw of a value-determination hierarchy where a
global might override a style setting.  If there are any cc-mode experts
out there, perhaps they can chime in.

[Message part 2 (text/html, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.