comparison sat_frontends/quick_frontend/quick_utils.py @ 3093:d909473a76cc

jp (xmlui_manager): use level for notes: display notes in specific colors according to level, and use stderr for warnings and errors.
author Goffi <goffi@goffi.org>
date Fri, 20 Dec 2019 12:28:04 +0100
parents ab2696e34d29
children 9d0df638c8b4
comparison
equal deleted inserted replaced
3092:9464ad3b2ece 3093:d909473a76cc