library/pyjamas/gwt/ui/platform/Windowpywebkitgtk.py
def enableScrolling(enable):
doc().body.style.setProperty("overflow", enable and 'auto' or 'hidden', '')
def setMargin(size):
doc().body.style.setProperty("margin", size, '')
hmmm, these functions already exist, which tends to suggest that
something's seriously borked. e.g. the platform override system isn't
being called.
hey, don't tell me... you've got a reaaaally recent version of python2, right?
also can you double-check that you have ~/.pyjd/pyjdrc specifying
pywebkitgtk as the engine? you must have, else you wouldn't have got
as far as you have, but please humour me so it can be ruled out.
hmm.... what else.... could you try "python -v Mail.py" and put the
full output somewhere online (don't pollute the list with the output,
it's quite long).
actually, tell you what, if you look for sections that say
"library/...../platform/Windowpywebkitgtk.py" or anything else with
"platform" in it, then i'll know that the override system is working
correctly.
if it's missing then whoops, we have a problem with the platform
override system, that'll be fun,fun,fun to investigate.
can't think of anything else right now.
l.
