Le 02/08/2019 à 16:34, Mike Gabriel a écrit :
The issue needs to be addressed upstream. Once they have a sanctioned patch, I can cherry-pick it into the mate-panel Debian package.
The issue is addressed upstream and fixed, see https://github.com/mate-desktop/mate-panel/issues/952
(The upstream title wasn't clear but this is this issue) Best regards, Alex.