sorry i haven't had a chance to respond until today (and can't elaborate too much until tonight)
the short answer is the webkit method you are using (probably from pythonwebkit.org or whatnot) is never going to work correctly without several patches, and frankly, isn't work dealing with. a few days ago i merged in the `GObject Introspection` backend that has been pending for some time... there are a couple quirks that i had originally hoped to fix prior to, but since the distribution hasn't seen a release in quite awhile now is better than some-arbitrary-date-in-the-future. this backend will be set as default for 0.9 release, and is considerably simpler. you must still patch Webkit, but i have a PPA you can start from: https://launchpad.net/~xtfxme/+archive/pyjs http://ppa.launchpad.net/xtfxme/pyjs/ubuntu/pool/main/w/webkit/ ...the patch (10_77835.patch in the src package) has been stable for a long time but it's not clear if/when/how it will ever go into Webkit proper: https://bugs.webkit.org/show_bug.cgi?id=77835 ...the part of code it modifies has not changed in a long time, so it very likely will apply with no modifications, but im not sure (esp. since Webkit2 is now the default IIRC). once Webkit is built you only need to enable the `giwebkit` backend (autodetect not yet implemented) with an entry in ~/.pyjd/pyjdrc: [gui] engine = giwebkit ...after that it should Just Work. do note however, that the realtime/direct binding have always been an absolute trainwreck, and with the exception of the MS/Trident bindings (of which are a complete black box to me) they have never worked without enduring some level of pain :( tbh, as useful/interesting as they are for development/etc, they have dominated devel time for too long, and i'm about to the point of stripping all mention of them as i cleanse the docs of... noise and errant information. if you get stuck, there may be some useful infos in the list if you search for `giwebkit`, else just shoot a message and we'll go from there. On Mon, Apr 22, 2013 at 9:31 AM, Brian White <[email protected]> wrote: > So I decided to try the alternate method of using WebKit. This wasn't any > easier! It depends on libraries not available as part of the standard > distribution but aside from that, WebKit won't compile: > > checking usage of GTK+... yes > checking the GTK+ version to use... ../configure: line 18325: syntax error > near unexpected token `!=' > ../configure: line 18325: ` withval=$with_gtk; case $with_gtkplus != "no" > && "$with_gtk" in' > > I guess I'll just have to try to debug the configure script if I want this > to work. > > -- Brian > > > Is the Pyjamas-Desktop still supported under Linux Ubuntu "Precise >> Pangolin"? I've tried to get it to work but it would be easier to carry >> water uphill in a sieve. >> >> First, there is no "pyjd" package so I got the "pyjs" source and got >> access through that. >> Then, there's no Hulahop package so I added Debian's "sid" distribution >> to apt's sources.list to get them onto the machine. >> The installed libraries don't go into /usr/lib so I modified bin/pyjd to >> add /usr/lib/xulrunner-10.0 to LD_LIBRARY_PATH. >> This fails because at least one symbol is not found: >> >> File "/usr/lib/python2.7/dist-**packages/hulahop/__init__.py", line >> 29, in <module> >> from hulahop._hulahop import shutdown >> ImportError: /usr/lib/python2.7/dist-**packages/hulahop/_hulahop.so: >> undefined symbol: XRE_InitEmbedding >> >> I tried using the libraries in /usr/lib/firefox but it's missing >> libpyxpcom.so. >> >> Am I missing something obvious? Any suggestions, or should I just give >> up on Linux? >> >> -- Brian >> >> -- > > --- > You received this message because you are subscribed to the Google Groups > "Pyjs.org Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/groups/opt_out. > > > -- C Anthony -- --- You received this message because you are subscribed to the Google Groups "Pyjs.org Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
