diff cagou/core/profile_manager.py @ 263:fe540a6dc14d

widgets handler: call host._removeVisibleWidget when a widget is deleted (using split)
author Goffi <goffi@goffi.org>
date Mon, 11 Mar 2019 08:39:43 +0100
parents b270fcc87304
children 89ba66464329
line wrap: on
line diff