diff .hgtags @ 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 d29be7e348ca
children a8518a091766
line wrap: on
line diff