<div dir="ltr"><div><div><div><div>Hello, <br><br></div>The current api to load a webextension is to point it to a folder with extensions:<br><br>.. webkit_web_context_set_web_extensions_directory(..)<br>.. webkit_web_context_set_web_extensions_initialization_user_data (..)<br><br></div>Is there a way to specify the exact .so file instead of specifying a directory?<br></div>(e.g load the module manually?).<br><br></div>We package webkitgtk into a jar and interact with it via JNI. Extracting '.so' files and dealing with a separate directory is a bit complicated in that context, it would be preferred to point to specific .so file.<br><div><div><div><br></div><div>Thank you.<br></div><div><br>[1] <a href="https://webkitgtk.org/reference/webkit2gtk/stable/WebKitWebContext.html#webkit-web-context-set-web-extensions-directory">https://webkitgtk.org/reference/webkit2gtk/stable/WebKitWebContext.html#webkit-web-context-set-web-extensions-directory</a><br clear="all"><div><div><br>-- <br><div class="gmail_signature">Leo Ufimtsev, Software Engineer, Red Hat</div>
</div></div></div></div></div></div>