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

[Eli Zaretskii]

> 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.