[gui] Address situation where applying style enables deprecated labels
Merge pull request #861 from Jean-Roc/traduction_ui

update french translation
translation update: es by Carlos
pl translation update; function_help
Merge pull request #862 from Cracert/master

Polish translation update
[diagram] Workaround floating point errors leading to diagram distortion
Fix #8554