Re: [O] Modifying keys in the export dispatch menu

Hello, Roland Everaert writes: > I have activated the mediawiki exporter, unfortunately it uses the same > keys than the markdown export in the dispatcher menu. > > Is it possible to change those keys through configuration or is it the > responsibility of the developers to

[O] Modifying keys in the export dispatch menu

Hello, I have activated the mediawiki exporter, unfortunately it uses the same keys than the markdown export in the dispatcher menu. Is it possible to change those keys through configuration or is it the responsibility of the developers to choose wisely there keys? Regards,