(String path)
| 220 | } |
| 221 | |
| 222 | void decodePath(String path) { |
| 223 | int i = path.lastIndexOf('/'); |
| 224 | if (i==-1) |
| 225 | i = path.lastIndexOf('\\'); |
| 226 | if (i>0) { |
| 227 | dir = path.substring(0, i+1); |
| 228 | name = path.substring(i+1); |
| 229 | } else { |
| 230 | dir = ""; |
| 231 | name = path; |
| 232 | } |
| 233 | } |
| 234 | |
| 235 | /** Returns the selected directory. */ |
| 236 | public String getDirectory() { |