[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Info-insert-dir
From: |
Richard Stallman |
Subject: |
Re: Info-insert-dir |
Date: |
Tue, 20 Mar 2007 20:42:24 -0400 |
I meant `wid-edit' doesn't even check whether it's a "directory name" in
the sense of a filename ending with a slash (`wid-edit' doesn't
discriminate directories and files although it provides separate widgets
for them).
I don't think anything bad happens if you use a file name instead of a
directory name. It is not "quite right", but it is ok.
It would be a pain in the neck for the `directory' widget to reject
directory file names.
It would be a nice little touch for the `directory' widget
to convert directory file names automatically into directory names.
But let's not change that now.
- Info-insert-dir, martin rudalics, 2007/03/16
- Message not available
- Message not available
- Re: Info-insert-dir, Richard Stallman, 2007/03/19
- Re: Info-insert-dir, martin rudalics, 2007/03/19
- Re: Info-insert-dir, Richard Stallman, 2007/03/19
- Re: Info-insert-dir, martin rudalics, 2007/03/20
- Re: Info-insert-dir,
Richard Stallman <=
- Re: Info-insert-dir, Richard Stallman, 2007/03/20
- Re: Info-insert-dir, martin rudalics, 2007/03/21
- Re: Info-insert-dir, Richard Stallman, 2007/03/22
- Re: Info-insert-dir, martin rudalics, 2007/03/22
- Re: Info-insert-dir, Richard Stallman, 2007/03/22
- Re: Info-insert-dir, martin rudalics, 2007/03/23
- Re: Info-insert-dir, Richard Stallman, 2007/03/23