}
}
// if that's not a directory -> List its parent
if(!directory.isDirectory()){
Log_OC.w(TAG, "You see, that is not a directory -> " + directory.toString());
directory = directory.getParentFile();
}
mList.clearChoices(); // by now, only files in the same directory will be kept as selected
mAdapter.swapDirectory(directory);
if (mDirectory == null || !mDirectory.equals(directory)) {
mList.setSelectionFromTop(0, 0);
}
mDirectory = directory;
}
/**
60: File log = new File(baseDir, "log");
-
76: assertTrue(file + " exists", file.exists());
77: assertTrue(file + " is a directory", file.isDirectory());
Full Snippet Info39: Files.copy(defaultFile, file);
-
47: return asFile(new File(name));
Full Snippet Info44: File file = new File(getUserHome(), JLINE_RC);
45: if (file.exists() && file.canRead()) {
-
50: Log.debug("Loaded user configuration: ", file);
-
57: Log.warn("Unable to read user configuration: ", file, e);
-
61: Log.trace("User configuration file missing or unreadable: ", file);
Full Snippet Info