maxlen_in_tab_name=30; added a shortcut to the 'File' item in the main menu
fixed several glitches thanks to cpplint : 2 errors remain
fixed global variables