comparison src/browser/libervia_main.py @ 610:5b19fb5eae7e frontends_multi_profiles

browser side: widget is deleted by default when close button is clicked in LiberviaWidget
author Goffi <goffi@goffi.org>
date Tue, 10 Feb 2015 19:11:24 +0100
parents ec77c2bc18d3
children deddd1cd8aa5
comparison
equal deleted inserted replaced
609:ec77c2bc18d3 610:5b19fb5eae7e