comparison src/server/html_tools.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 1a0cec9b0f1e
children c8cca1a373dd
comparison
equal deleted inserted replaced
609:ec77c2bc18d3 610:5b19fb5eae7e