diff sat/plugins/plugin_misc_extra_pep.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 559a625a236b
line wrap: on
line diff