# HG changeset patch
# User Frank Benoit <benoit@tionex.de>
# Date 1207923496 -7200
# Node ID 076d0807c32a0c0325bcf7cb0600c3cb692a7667
# Parent  25461c48a9bd5c05a6d9f5e9e4572663c838293c
fix exception from file.isFolder, test first if exists.

diff -r 25461c48a9bd -r 076d0807c32a dwtx/jface/preference/DirectoryFieldEditor.d
--- a/dwtx/jface/preference/DirectoryFieldEditor.d	Fri Apr 11 01:41:47 2008 +0200
+++ b/dwtx/jface/preference/DirectoryFieldEditor.d	Fri Apr 11 16:18:16 2008 +0200
@@ -79,7 +79,7 @@
             return true;
         }
         auto file = new FilePath(fileName);
-        return file.isFolder();
+        return file.exists() && file.isFolder();
     }
 
     /**