final DiskManagerFileInfo file,
final boolean open_containing_folder_mode )
{
if ( file != null ){
LaunchManager launch_manager = LaunchManager.getManager();
LaunchManager.LaunchTarget target = launch_manager.createTarget( file );
launch_manager.launchRequest(
target,
new LaunchManager.LaunchAction()
{
public void
actionAllowed()