comparison sat/stdui/ui_profile_manager.py @ 3077:ab8be8f1c92d

quick frontend(app): catch exception when trying to remove a missing listener, and log it
author Goffi <goffi@goffi.org>
date Mon, 18 Nov 2019 22:34:13 +0100
parents ab2696e34d29
children 0c29155ac68b
comparison
equal deleted inserted replaced
3076:2180b0f5c1cd 3077:ab8be8f1c92d