Made a quick hack to circumvent GTK3's default masking of the the AltGr key as a modifier.