diff sat_frontends/tools/games.py @ 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 559a625a236b
children be6d91572633
line wrap: on
line diff