WebKitUserContentManager is a class of WebKit
2GTK+ and is not contained in WebKitGTK. Therefore you have to use WebKit
2GTK.
While WebKitGTK+ can be compiled against either GTK+2 or GTK+3, WebKit
2GTK depends solely on GTK+3 and the most current library filename is libwebkit2gtk-4.0.so. So in order to execute functions of the
WebKitUserContentManager, you should install the developer version of libwebkit2gtk-4.0:
sudo apt-get install libwebkit2gtk-4.0-dev
After the installation of the developer version the following import and function call works on my Xubuntu 18.04 x86 with Xfce:
Code: Select all
ImportC "-lwebkit2gtk-4.0"
webkit_user_content_manager_new()
EndImport
Debug webkit_user_content_manager_new()
If you should still have difficulties: it's always easier to help if you would state your Linux distribution and desktop environment...