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

2017-02-02 Thread Nicolas Goaziou 
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 choose wisely there keys?

The latter. But you can create a derived back-end that specifies its own
keys, even if you do not change the original export back-end otherwise.

Regards,

-- 
Nicolas Goaziou

[O] Modifying keys in the export dispatch menu

2017-02-02 Thread Roland Everaert 
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,