Property
WebKit2WebExtensionDOMMouseEvent:ctrl-key
Description
        No description available.
      
      | Type: | gboolean | 
| Getter method | webkit_dom_mouse_event_get_ctrl_key() | 
| Type: | gboolean | 
| Getter method | webkit_dom_mouse_event_get_ctrl_key() |