t('GpxEdit additional settings')); ?>

t( 'Extra symbols' )); ?>

'; } ?>

'; echo '

'; echo ' '; p($symbol['smallname']); echo '

'; echo ''; echo '

New symbol name :