comparison bin/sat @ 3167:d0fb79f97466

quick frontends (app): added an "ignore_missing" argument to RemoveListener: normally an error is logged when removeListener is call on a inexisting listener, but sometimes listeners are added only in specific scenarios, and it may be handy to try to delete them without having to explictly check that they have been used.
author Goffi <goffi@goffi.org>
date Wed, 12 Feb 2020 19:44:05 +0100
parents 0b6d56a8f7e3
children e81ad34e8af8
comparison
equal deleted inserted replaced
3166:122075ceaa53 3167:d0fb79f97466