openTextEditor( f );
} else {
java.io.File dest = new java.io.File( "/home/brad/Desktop" ); // TODO
java.io.File rFile;
try {
rFile = r.downloadTo( dest, null );
} catch( Exception ex ) {
throw new RuntimeException( ex );
}
String url = "file://" + rFile.getAbsolutePath();
BareBonesBrowserLaunch.openURL( url );