I believe the solution 1 is working for now quite long time. Users don't run GTG from console and don't see the warnings. It would be nice if it were solved, but it has just a low priority. I think the bug won't be solved any time soon and a workaround is needed for the solution. Did you try to "force" label updates? I.e. calling show() method on the menu item, combination of .hide()/.show() immediately, or even updating labels and then changing it back?
You gave your best effort and there are more bugs/feature requests which would have a bigger impact.
Hi Antonio,
I believe the solution 1 is working for now quite long time. Users don't run GTG from console and don't see the warnings. It would be nice if it were solved, but it has just a low priority. I think the bug won't be solved any time soon and a workaround is needed for the solution. Did you try to "force" label updates? I.e. calling show() method on the menu item, combination of .hide()/.show() immediately, or even updating labels and then changing it back?
You gave your best effort and there are more bugs/feature requests which would have a bigger impact.