'; if ( $main['nav']['save'] == 1 ) { // file loaded ## echo ' SAVE'; } else { // no file loaded ## echo 'SAVE'; } echo '

'; // editor autosave switch ## include "nav.autosave.php"; echo '

'; if ( $main['nav']['reload'] == 1 ) { // file loaded, offer reload ## echo ' RELOAD'; } else { // no file loaded ## echo 'RELOAD'; } echo '

'; if ( $main['nav']['close'] == 1 ) { // file loaded ## echo ' CLOSE'; } else { // no file loaded ## echo 'CLOSE'; } echo '

'.$main['path'].''.$html['title'].''.$html['title_note'].'

'; // save reports ## include "nav.save.php"; // unsaved changes ## include "nav.changes.php"; // credits & help ## include "nav.logo.php"; // editor swapper ## include "nav.editor.php"; // delete option ## include "nav.delete.php"; // rename option ## include "nav.rename.php"; // file info ## #include "nav.info.php"; echo '