texstudio 2.12.2 -> 2.12.4