i've manged to build the version currently used in debian buster with this patch applied to src/client.cc:
229,230d228 < if (e.active.gain == 0 && !video::IsFullScreen()) < show_menu(false); Which is basically the linked change. At least for me, this solves my issue. Am Do., 10. Okt. 2019 um 19:51 Uhr schrieb Debian Bug Tracking System < ow...@bugs.debian.org>: > Thank you for the additional information you have supplied regarding > this Bug report. > > This is an automatically generated reply to let you know your message > has been received. > > Your message is being forwarded to the package maintainers and other > interested parties for their attention; they will reply in due course. > > Your message has been sent to the package maintainer(s): > Erich Schubert <er...@debian.org> > > If you wish to submit further information on this problem, please > send it to 603...@bugs.debian.org. > > Please do not send mail to ow...@bugs.debian.org unless you wish > to report a problem with the Bug-tracking system. > > -- > 603600: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=603600 > Debian Bug Tracking System > Contact ow...@bugs.debian.org with problems >