comparison sat_frontends/jp/cmd_shell.py @ 3164:9dc170635bee

quick frontend(app): added listener for selected widget
author Goffi <goffi@goffi.org>
date Mon, 10 Feb 2020 22:02:31 +0100
parents 559a625a236b
children 2f0be2b7de68
comparison
equal deleted inserted replaced
3163:d10b2368684e 3164:9dc170635bee