| commit | 611b9f669777a18736bf1bafa03f4e965d8640a2 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 05 15:41:09 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Feb 05 15:41:09 2003 +0000 |
| tree | 409cb7067e7e08a88cf91d8f16de1088e6d334a9 | |
| parent | d424836f3ac5dad044f131ea77edb1a84ba1a56e [diff] |
Added "Open File by Name" command which presens a filename dialog. If the clipboard contains a filename that filename is used as the default.