GTK3 function keys; which are consumed (and unusable from my GTK app)?
问题 FWIW, the exact program motivating this question is (on Linux/Debian/Sid/x86-64) my bismon on github, commit d43a75fb9f8e13. GTK3 is 3.22.24. If you need to try it, build it with make and run ./bismon . It is in alpha stage, and still not interesting to others than me. It is some kind of DSL interpreter with a GTK interface and a persistent heap. If you want something to appear, click to focus on the middle widget, type the_system there followed by Ctrl Return , but that is not relevant for