diff sat_frontends/quick_frontend/quick_list_manager.py @ 3051:ee2654308a57

jp: default to "dark" if background is not set and can't be detected
author Goffi <goffi@goffi.org>
date Thu, 03 Oct 2019 22:17:19 +0200
parents 56f94936df1e
children 559a625a236b
line wrap: on
line diff