equal
deleted
inserted
replaced
43 # usually defaults to e.g. /usr/share/pyjamas |
43 # usually defaults to e.g. /usr/share/pyjamas |
44 _data_dir = os.path.join(pyjs.prefix, "share/pyjamas") |
44 _data_dir = os.path.join(pyjs.prefix, "share/pyjamas") |
45 |
45 |
46 |
46 |
47 # .cache.html files produces look like this |
47 # .cache.html files produces look like this |
48 CACHE_HTML_PAT = re.compile('^[a-z]*.[0-9a-f]{32}\.cache\.html$') |
48 CACHE_HTML_PAT = re.compile(r'^[a-z]*.[0-9a-f]{32}\.cache\.html$') |
49 |
49 |
50 # ok these are the three "default" library directories, containing |
50 # ok these are the three "default" library directories, containing |
51 # the builtins (str, List, Dict, ord, round, len, range etc.) |
51 # the builtins (str, List, Dict, ord, round, len, range etc.) |
52 # the main pyjamas libraries (pyjamas.ui, pyjamas.Window etc.) |
52 # the main pyjamas libraries (pyjamas.ui, pyjamas.Window etc.) |
53 # and the contributed addons |
53 # and the contributed addons |