diff COPYING @ 3165:7699a08ba8fb

quick frontend(widget): added `with_duplicates` argument to getWidgets: when this argument is False, widgets with the same widget_hash are filtered to only return first one. It is True by default to keep former behaviour.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:38:32 +0100
parents 2a072735e459
children
line wrap: on
line diff