equal
deleted
inserted
replaced
4 commands, |
4 commands, |
5 extensions, |
5 extensions, |
6 ui as uimod, |
6 ui as uimod, |
7 ) |
7 ) |
8 |
8 |
9 ignore = set(['highlight', 'win32text', 'factotum']) |
9 ignore = {'highlight', 'win32text', 'factotum'} |
10 |
10 |
11 if os.name != 'nt': |
11 if os.name != 'nt': |
12 ignore.add('win32mbcs') |
12 ignore.add('win32mbcs') |
13 |
13 |
14 disabled = [ext for ext in extensions.disabled().keys() if ext not in ignore] |
14 disabled = [ext for ext in extensions.disabled().keys() if ext not in ignore] |