[−][src]Constant webkit2gtk_webextension_sys::WEBKIT_DOM_NODE_FILTER_SHOW_NOTATION

pub const WEBKIT_DOM_NODE_FILTER_SHOW_NOTATION: c_int = 2048;