On 02/20/2017 08:57 PM, Lucas Cordiviola wrote:
I don't think of it as a bug but as an enhancement.
then you should implement it as a gui-plugin. (that's the purpose of gui-plugins: enhance the gui, without adding more code to the core that somebody has to maintain).
gfmadsr IOhannes