Constant gdk_sys::GDK_KEY_F25

pub const GDK_KEY_F25: c_int = 65494;