GDK_KEY_Red

gdk4_sys

Constant GDK_KEY_Red 

Source 
pub const GDK_KEY_Red: c_int = 269025187;