diff sat_frontends/tools/xmlui.py @ 3384:f4386002f30f

docker (backend): set `background` to `dark` to avoid trouble with autodetection in jp
author Goffi <goffi@goffi.org>
date Thu, 12 Nov 2020 14:53:15 +0100
parents 559a625a236b
children 1f1741dc3cc4
line wrap: on
line diff