Ubuntu
gtk+3.0 package

  1. Bug #937822
  2. Comment #4

Comment 4 for bug 937822

Revision history for this message
Roman Yepishev (rye) wrote :

As far as I could read the sources, Shift+F10 handling (which now reacts on F10 too) is hardcoded in GTK and cannot be changed.