diff sat_frontends/jp/xmlui_manager.py @ 2854:eb9fa72eb62b

core: added a "_debug" signal: this signal is a generic debugging signal which can be implemented in frontends to do specific actions, like printing data dumps.
author Goffi <goffi@goffi.org>
date Sun, 10 Mar 2019 18:04:01 +0100
parents 442ab697f831
children 18a98a541f7a
line wrap: on
line diff