webkitgtk.override: add webkit_web_settings_get_type; webbrowser.py: add populate...
commitcad501f0247bcdc7040dc3cc173364eec2ca695f
authorJan Michael Alonzo <jmalonzo@unpluggable.com>
Mon, 4 Feb 2008 10:16:04 +0000 (4 21:16 +1100)
committerJan Michael Alonzo <jmalonzo@unpluggable.com>
Mon, 4 Feb 2008 10:16:04 +0000 (4 21:16 +1100)
tree55e8adcdaccf632c32e32d4ace9744f3b5e88d18
parentdaf7ef613447dcf5a41260ecd9ffbc1d13d01c44
webkitgtk.override: add webkit_web_settings_get_type; webbrowser.py: add populate-menu callback
webbrowser.py
webkitgtk.override