tree 409cb7067e7e08a88cf91d8f16de1088e6d334a9
parent d424836f3ac5dad044f131ea77edb1a84ba1a56e
author Jack Jansen <jack.jansen@cwi.nl> 1044459669 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1044459669 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4031226

Added "Open File by Name" command which presens a filename dialog. If
the clipboard contains a filename that filename is used as the default.