Isn't that what I was suggesting a few days ago? Well, not quite, since I was suggesting we just put them all on the menu so that they're all there to be chosen from, on an ad hoc basis, rather than making the user go into the preferences or settings or something to change them. JMarc, what do think?
Personally, I think that what should be easy and convenient is to pick _1_ converter among many. I do not see the need of having huge menus for the benefit of the few people who want a different converter for each document. But it is only my POV, after all.
Having a list of different converter is different: currently, only configure.py know what parameters should be used for each converter/viewer. This is a big loss of valuable information. configure.py should output one line for
each available converter, not only the first one. JMarc
