Lines Matching defs:filename
380 public void setFileName(String filename) {
841 String filename = getFileName();
845 if (filename != null) {
846 // Remove whitespaces from end of filename
847 int i = filename.length() - 1;
849 while (i >=0 && filename.charAt(i) <= ' ') {
853 filename = filename.substring(0, i + 1);
856 if (filename == null || filename.length() == 0) {
867 if (filename.startsWith("~/")) {
868 filename = System.getProperty("user.home") + filename.substring(1);
869 } else if (filename.equals("~")) {
870 filename = System.getProperty("user.home");
874 if (chooser.isMultiSelectionEnabled() && filename.length() > 1 &&
875 filename.charAt(0) == '"' && filename.charAt(filename.length() - 1) == '"') {
878 String[] files = filename.substring(1, filename.length() - 1).split("\" \"");
909 selectedFile = fs.createFileObject(filename);
911 selectedFile = fs.getChild(dir, filename);
915 if (!selectedFile.exists() && isGlobPattern(filename)) {
991 private static boolean isGlobPattern(String filename) {
992 return ((File.separatorChar == '\\' && (filename.indexOf('*') >= 0
993 || filename.indexOf('?') >= 0))
994 || (File.separatorChar == '/' && (filename.indexOf('*') >= 0
995 || filename.indexOf('?') >= 0
996 || filename.indexOf('[') >= 0)));