+ /** returns true iff the platform has a case-sensitive filesystem */
+ public static boolean isCaseSensitive() { return platform._isCaseSensitive(); }
+
+ /** displays a platform-specific "open file" dialog and returns the chosen filename, or null if the user hit cancel */
+ public static String fileDialog(String suggestedFileName, boolean write) {
+ if (!ThreadMessage.suspendThread()) return null;
+ try {
+ return platform._fileDialog(suggestedFileName, write);
+ } finally {
+ ThreadMessage.resumeThread();
+ }
+ }
+