GNU bug report logs - #65401
30.0.50; custom-theme-directory :type could be enhanced

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Mauro Aranda <maurooaranda <at> gmail.com>
Cc: 65401 <at> debbugs.gnu.org
Subject: bug#65401: 30.0.50; custom-theme-directory :type could be enhanced
Date: Sun, 20 Aug 2023 16:32:21 +0300

> Date: Sun, 20 Aug 2023 09:35:17 -0300
> Cc: 65401 <at> debbugs.gnu.org
> From: Mauro Aranda <maurooaranda <at> gmail.com>
> 
> Eli Zaretskii <eliz <at> gnu.org> writes:
> 
>  > If the directory doesn't have to exist, then what is the difference
>  > between :directory and :string?
> 
> Completion when editing via Customize is the only one it comes to my
> mind right now (useful when the user wants to edit it to some directory
> it already exists).

Then I don't see why would anyone object to the change you propose.
It has no downsides, AFAICT.

Thanks.

Previous Next

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