comparison .hgignore @ 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 61ba5d193cfe
children
comparison
equal deleted inserted replaced
262:825e8c91b703 263:fe540a6dc14d