Am So., 29. März 2020 um 17:19 Uhr schrieb Carl Eugen Hoyos <ceffmpeg at gmail.com>: > Attached patch fixes ticket #8587, not sure if we want this or not, > but I do not consider the missing encircled / blinking effect (that is > not used by our command line tools) an issue. Ping. Carl Eugen