| commit | 5c6634c807c193e06a0bf78171032a35cfa57cbd | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 13 16:26:35 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Thu Jan 13 16:26:35 2000 +0000 |
| tree | 87d32470f4d7610a374487723d9879112c9ba7f2 | |
| parent | 2c6cf972554817772952c29b762df827200fdd78 [diff] |
- Actually _implemented_ SetFolder() - Fixed StandardPutFile: prompt, default - Check explicitly for userCanceledErr, pass other Nav.error exceptions through.