steadycookie wrote:

> No need a list of fonts. You can just let user have option to configure
> the commands to invoke a language. As I said above, there are options in
> menu, but they are overlaid by the hardcoded commands.

And is this something the user should be able to configure per-document (in
document->settings) or globally (in preferences)?

Jürgen

Reply via email to