comparison sat/stdui/ui_profile_manager.py @ 3968:0dd79c6cc1d2

tools (strem): fix `mode` + add `pre_close_cb` callback: rel 378
author Goffi <goffi@goffi.org>
date Mon, 31 Oct 2022 04:04:32 +0100
parents be6d91572633
children 524856bd7b19
comparison
equal deleted inserted replaced
3967:f461f11ea176 3968:0dd79c6cc1d2