I sometimes hit the similar issue that languages in the Angular panels are not changed after changing the language setting.
In my case, hard-reload usually solves the issue. In Chrome, the "normal" reload does not help it. "Hard" reload is required in my case, but "hard" reload is only available when the developer tool is enabled. I think "hard" reload is not an usual procedure.
At the moment I am not sure something can be improved in horizon side, but at least it is worth investigating it.
I sometimes hit the similar issue that languages in the Angular panels are not changed after changing the language setting.
In my case, hard-reload usually solves the issue. In Chrome, the "normal" reload does not help it. "Hard" reload is required in my case, but "hard" reload is only available when the developer tool is enabled. I think "hard" reload is not an usual procedure.
At the moment I am not sure something can be improved in horizon side, but at least it is worth investigating it.