void ManagerDisplaySections( ); void ManagerInitGtk();