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: Andreas Weber <aendu@worldwideweber.ch>
Date: Mon, 2 Oct 2023 19:34:49 +0200
Message-id: <[🔎] f0622f3a-316e-488b-9648-b7170fe96ae5@worldwideweber.ch>
Reply-to: Andreas Weber <aendu@worldwideweber.ch>, 1050734@bugs.debian.org
In-reply-to: <076a77d9-6c02-472a-ac3b-ff0b6d990989@elektro-potkan.cz>
References: <076a77d9-6c02-472a-ac3b-ff0b6d990989@elektro-potkan.cz> <076a77d9-6c02-472a-ac3b-ff0b6d990989@elektro-potkan.cz> <20230828195331.260e4652@jrenewsid.jretrading.com>

Thanks Martin for the link with the workaround, works for me, too.

Regards
ändu

Reply to: