Torsten.Paul at gmx.de
Wed Jun 8 08:43:07 EDT 2016
Yes, I agree the feature would be nice to have. It's not so
much about the language changing, but about the possibility
to enable/disable it (basically https://xkcd.com/1172/) and
give the option for power users to extend this by editing the
config file (I don't think there's a huge chance of getting
this easily configurable anytime soon).
The infrastructure for that is mostly there and already used
to configure the editor and render color schemes.
More information about the Discuss