void DisplaySymbols( );
void OpenSymbolsWindow( );
void SymbolsInitGtk();