diff COPYING @ 636:86ae737da6f3 frontends_multi_profiles

browser side (widgets management): removed getWidgetsPanel: we use directly getParent which do the same thing + displayWidget now detect hidden widgets (widgets without parent WidgetsPanel)
author Goffi <goffi@goffi.org>
date Mon, 23 Feb 2015 18:44:58 +0100
parents 140cec48224a
children
line wrap: on
line diff