Method
WebKit2WebExtensionDOMMouseEventget_ctrl_key
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 |