equal
deleted
inserted
replaced
27 |
27 |
28 _extensions = {} |
28 _extensions = {} |
29 _disabledextensions = {} |
29 _disabledextensions = {} |
30 _aftercallbacks = {} |
30 _aftercallbacks = {} |
31 _order = [] |
31 _order = [] |
32 _builtin = {'hbisect', 'bookmarks', 'parentrevspec', 'progress', 'interhg', |
32 _builtin = { |
33 'inotify', 'hgcia'} |
33 'hbisect', |
|
34 'bookmarks', |
|
35 'parentrevspec', |
|
36 'progress', |
|
37 'interhg', |
|
38 'inotify', |
|
39 'hgcia' |
|
40 } |
34 |
41 |
35 def extensions(ui=None): |
42 def extensions(ui=None): |
36 if ui: |
43 if ui: |
37 def enabled(name): |
44 def enabled(name): |
38 for format in ['%s', 'hgext.%s']: |
45 for format in ['%s', 'hgext.%s']: |