[−][src]Constant webkit2gtk_webextension::NONE_DOM_MOUSE_EVENT

pub const NONE_DOM_MOUSE_EVENT: Option<&DOMMouseEvent>;