GUI for setting Document->Colors not translatable

In my case, it _is_ translated, but only if using German LANG/LANGUAGE environment. In all other cases it is English. The attached shows the dialog while * editing English document * The GUI is set to French * Environment LANGUAGE=de_DE:sk_SK:en_US:en * Environment

Build failed in Jenkins: Build branch "master" » ubuntu-xenial-qt4-autotools-extended #1137

https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-xenial-qt4-autotools-extended/1137/-- Started by an SCM change Building remotely on lyx-linux1 (linux) in workspace

Build failed in Jenkins: Build branch "master" » ubuntu-xenial-qt4-autotools-extended #1138

https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-xenial-qt4-autotools-extended/1138/-- Started by an SCM change Building remotely on lyx-linux1 (linux) in workspace

Build failed in Jenkins: Build branch "master" » ubuntu-xenial-qt4-autotools-extended #1139

https://ci.inria.fr/lyx/job/build-master-head/job/ubuntu-xenial-qt4-autotools-extended/1139/-- Started by an SCM change Building remotely on lyx-linux1 (linux) in workspace