GNU bug report logs - #18372
Bug#755351: blink-cursor-mode should respect GTK+ setting by default

Previous Next

Full log

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

From: Po Lu <luangruo <at> yahoo.com>
To: Stefan Kangas <stefan <at> marxist.se>
Cc: Josh Triplett <josh <at> joshtriplett.org>,
 "18372 <at> debbugs.gnu.org" <18372 <at> debbugs.gnu.org>,
 "rlb <at> defaultvalue.org" <rlb <at> defaultvalue.org>, Eli Zaretskii <eliz <at> gnu.org>,
 Jan Djärv <jan.h.d <at> swipnet.se>,
 "755351 <at> bugs.debian.org" <755351 <at> bugs.debian.org>,
 "755351-forwarded <at> bugs.debian.org" <755351-forwarded <at> bugs.debian.org>
Subject: Re: bug#18372: Bug#755351: blink-cursor-mode should respect GTK+
 setting by default
Date: Thu, 30 Jun 2022 09:09:01 +0800

Stefan Kangas <stefan <at> marxist.se> writes:

>> Those that we look at had a GUI in Gnome at one point to change them. Also the
>> set of settings has not been very stable. There is no GUI in current Gnome to
>> change them, so they aren't really the place where a user can easily tweak
>> settings.
>>
>> So in 99% (figure from air) of the cases these settings are never
>> changed. It is not worth it to track a setting that with high
>> probability will be removed or change name/place within two years.
>
> So if we don't want to chase these settings, does it make sense to keep
> this bug open?  Maybe Po Lu has any comments?

No, I think it should be closed.

Previous Next

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