Constant gdk_sys::GDK_KEY_F31

pub const GDK_KEY_F31: c_int = 65500;