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

Previous Next

Package: emacs;

Reported by: Mauro Aranda <maurooaranda <at> gmail.com>

Date: Sun, 20 Aug 2023 10:49:01 UTC

Severity: normal

Tags: patch

Found in version 30.0.50

Done: Eli Zaretskii <eliz <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

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

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

> Date: Sun, 20 Aug 2023 07:48:09 -0300
> From: Mauro Aranda <maurooaranda <at> gmail.com>
> 
> The user option custom-theme-directory is supposed to hold a directory
> name.  But its :type is a string.
> 
> I realize that it isn't really a bug, but in order to offer better
> completion, at least, I'd like to change the type to be directory.  So
> I'm filing this bug report to see if people would object to such a
> change.

Does the directory have to exist?
This bug report was last modified 1 year and 268 days ago.

Previous Next

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