On Sun, Jan 29, 2012 at 3:23 PM, Peter Bittner <[email protected]> wrote: > Just for curiosity's sake: > >> $wnd.__pygwt_modController.load($pyjs.appname, [ >> 'lib\pyjamas.ui.Panel.js', >> 'lib\pyjamas.ui.HTML.js', >> 'lib\pyjamas.Window.__oldmoz__.js', >> 'lib\pygwt.__oldmoz__.js', >> 'lib\pyjamas.Factory.js', >> 'lib\pyjamas.ui.js', >> 'lib\pyjamas.ui.InnerHTML.js', > > Why do we need dollar signs in JavaScript code? Hmm...
`$` is not allowed in python identifiers, thus it guarantees no conflict between the two. unfortunately it's used to protect JS from python (python gets the `$`-less version), and remap tables are used when conflicts arise; i would have done it reverse, where everything python gets the `$`, and that would eliminate the need for remap tables (no native JS objects start with $). > And die "lib\..." come from the join in here: > (pyjs/src/pyjs/browser.py, line 276) > dynamic_app_libs = appscript % "',\n'".join([lib[len_ouput_dir:] for > lib in dynamic_app_libs]) cool, i'll take a look here shortly ... i think there is a way to convert to unix paths. -- C Anthony
