view .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 source

f95d0c31d45558c7b3e2fc39398f51eb0190bdca 0.7.0a1
4233be74572a1af8eebd502c009a10641c63ca0c 0.7.0a3