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

[Mauro Aranda]

Eli Zaretskii <eliz@gnu.org> writes:

>> Date: Sun, 20 Aug 2023 09:35:17 -0300
>> Cc: 65401@debbugs.gnu.org
>> From: Mauro Aranda <maurooaranda@gmail.com>
>>
>> Eli Zaretskii <eliz@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.

OK, thank you.  I attach the patch.

0001-Improve-type-of-custom-theme-directory-Bug-65401.patch
Description: Text Data