G goffi 14/06/2019, 13:40 ticket reporter issue has been fixed, the filtering issue is not yet possible though, but planned for a future release (and already requested in https://www.goffi.org/bugs/view/297)