From: dieter@duenenhof-wilhelm.de (H. Dieter Wilhelm)
To: help-gnu-emacs@gnu.org
Subject: Customisation system: :type is not checked
Date: Fri, 20 Mar 2020 22:44:33 +0100 [thread overview]
Message-ID: <86bloqn1ku.fsf@duenenhof-wilhelm.de> (raw)
Hello Emacs-26.3
Maybe I'm reading too much from (info "(elisp) Simple Types")?
There the manual says that the customisation widget provides
completions, which is working. But it also says that the example
defcustom below
(defcustom apdl-ansys-launcher nil
"This string variable stores the Ansys launcher executable.
When the respective executable is not in your search path, you
...
this for the current session only."
:type '(file :must-match t)
:group 'APDL-initialise)
MUST be a file and should even match an existing file. But this
statement is not checked from the widget! I can set the value to any
string. What am I doing wrong or is my disappointment justified?
Thank you
Dieter
--
Best wishes
H. Dieter Wilhelm
Zwingenberg, Germany
next reply other threads:[~2020-03-20 21:44 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-03-20 21:44 H. Dieter Wilhelm [this message]
2020-03-21 14:22 ` Customisation system: :type is not checked Noam Postavsky
2020-03-21 17:28 ` H. Dieter Wilhelm
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=86bloqn1ku.fsf@duenenhof-wilhelm.de \
--to=dieter@duenenhof-wilhelm.de \
--cc=help-gnu-emacs@gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).