Add 'Page Properties' context menu item as a way to use WebDataSource
[pywebkitgtk.git] / webkit / 
treef175dd6431a9229d76232caa888008706cecfeff
drwxr-xr-x   ..
-rw-r--r-- 859 __init__.py
-rw-r--r-- 14400 webkit-1.0.2.defs
-rw-r--r-- 6391 webkit-1.1-types.defs
-rw-r--r-- 15398 webkit-1.1.defs
-rw-r--r-- 2387 webkit-base-types.defs
-rw-r--r-- 9153 webkit.override
-rw-r--r-- 1673 webkitmodule.c