Method
WebKit2WebExtensionDOMMouseEventget_ctrl_key
deprecated: 2.22
Declaration [src]
gboolean
webkit_dom_mouse_event_get_ctrl_key (
  WebKitDOMMouseEvent* self
)
Description
        No description available.
      
      Deprecated since: 2.22
Use JavaScriptCore API instead.
| Gets property | WebKit2WebExtension.DOMMouseEvent:ctrl-key |