Constant GDK_KEY_F25

pub const GDK_KEY_F25: c_int = 65494;