Bug#1050734: xfce4-terminal: Preference to disable F10 key not working

To: 1050734@bugs.debian.org
Subject: Bug#1050734: xfce4-terminal: Preference to disable F10 key not working
From: Martin Šturc <martin.sturc@elektro-potkan.cz>
Date: Wed, 6 Sep 2023 01:35:10 +0200
Message-id: <[🔎] 076a77d9-6c02-472a-ac3b-ff0b6d990989@elektro-potkan.cz>
Reply-to: Martin Šturc <martin.sturc@elektro-potkan.cz>, 1050734@bugs.debian.org
References: <20230828195331.260e4652@jrenewsid.jretrading.com>

Hello all,

I came accross this issue on my Debian unstable amd64 machine a few daysago.

The upstream's bughttps://gitlab.xfce.org/apps/xfce4-terminal/-/issues/259#note_78740

suggests a temporary workaround.
This works for me.

Best regards

Martin Šturc

Reply to:

Prev by Date: xfce4-cpufreq-plugin_1.2.8-2_source.changes ACCEPTED into unstable
Next by Date: Bug#1050802: xfce4-session: please provide an xfce-portals.conf for xdg-desktop-portal
Previous by thread: xfce4-cpufreq-plugin_1.2.8-2_source.changes ACCEPTED into unstable
Next by thread: Bug#1050802: xfce4-session: please provide an xfce-portals.conf for xdg-desktop-portal
Index(es):
- Date
- Thread