_NODE_FILTER_SHOW_NOTATION
Description:
[ CCode ( cname = "WEBKIT_DOM_NODE_FILTER_SHOW_NOTATION" ) ]
[ Version ( deprecated = true , deprecated_since = "2.22" , since = "2.6" ) ]
public const int _NODE_FILTER_SHOW_NOTATION
[ Version ( deprecated = true , deprecated_since = "2.22" , since = "2.6" ) ]
public const int _NODE_FILTER_SHOW_NOTATION
Warning: _NODE_FILTER_SHOW_NOTATION is deprecated since 2.22.
Show WebKitDOMNotation nodes.
Note:
Use JavaScriptCore API instead
Namespace: WebKit.DOM
Package: webkit2gtk-web-extension-4.1