<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><font size="4">Hi, <br>
</font></p>
<p><font size="4">For the FileList tool there is this #</font><font
size="4"><font size="4">initialFileListDirectories preference.
It can accept symbol as #root, #image, etc or a Set with
DirectoryEntry (?). This is not uniform type. <br>
</font></font></p>
<p><font size="4">For now I implemented this preference as below:<br>
</font></p>
<p><font size="4">#(initialFileListDirectories #roots #(root image
vm current) )</font></p>
<p><font size="4">I understand this preference is used with FileList
to change the initial directory. I try to use the feature for an
arbitrary initial directory without success (image locked)<br>
</font></p>
<p><font size="4">Insight? Should the feature be removed?<br>
</font></p>
Hilaire<br>
<pre class="moz-signature" cols="72">--
GNU Dr. Geo
<a class="moz-txt-link-freetext" href="http://drgeo.eu">http://drgeo.eu</a>
<a class="moz-txt-link-freetext" href="http://blog.drgeo.eu">http://blog.drgeo.eu</a></pre>
</body>
</html>