On Tue, May 15, 2018 at 10:46:54AM +0200, Gerd Hoffmann wrote: > On Tue, May 15, 2018 at 09:39:12AM +0100, Daniel P. Berrangé wrote: > > On Tue, May 15, 2018 at 10:30:09AM +0200, Gerd Hoffmann wrote: > > > On Fri, May 11, 2018 at 01:07:39AM +0200, Peter Wu wrote: > > > > The F10 key is used in various applications, disable it unconditionally > > > > (do not limit it to grab mode). Note that this property is deprecated > > > > and might be removed in the future (GTK+ commit b082fb598d). > > > > > > Any replacement provided by gtk? > > > > It doesn't look like it
Would it still be possible to change the commit message? I asked Timm (the author of that commit) about it, and it appears that the feature was restored at some point again because gnome-terminal relied on it. The new message (if possible): The F10 key is used in various applications, disable it unconditionally (do not limit it to grab mode). This property will still work with GTK3, but as it is deprecated it might be removed in GTK4. -- Kind regards, Peter Wu https://lekensteyn.nl
