function browse( dest )
{
    document.getElementById( 'browse_dest' ).value = dest;
    document.getElementById( 'browse_lastdir' ).value;
    browse_dir( document.getElementById( 'browse_lastdir' ).value );
    show( 'browse' );
}
/* only browse() should be called directly */
only browse() should be called directly
only browse () should be called directly
function browse( dest )
{
    document.getElementById( 'browse_dest' ).value = dest;
    document.getElementById( 'browse_lastdir' ).value;
    browse_dir( document.getElementById( 'browse_lastdir' ).value );
    show( 'browse' );
}
function browse ( dest ) { document . getElementById ( 'browse_dest' ) . value = dest ; document . getElementById ( 'browse_lastdir' ) . value ; browse_dir ( document . getElementById ( 'browse_lastdir' ) . value ) ; show ( 'browse' ) ; }
only browse() should be called directly
only browse () should be called directly