| changeset 8352 | 0e3b41118631 |
| parent 8306 | 4da49700b06a |
| child 8357 | 8b16593abd85 |
| 8351:02f4f01375e8 | 8352:0e3b41118631 |
|---|---|
1 undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False) |
1 undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False) |
2 config.global_set_option('undo-enabled', bool(undo_actions)) |
2 config.global_set_option('undo-enabled', bool(undo_actions)) |
3 pyro_actions = config.cfgfile_parser.get('REMOTE', 'pyro', False) |
|
4 if pyro_actions: |
|
5 config.global_set_option('repo-uri', 'pyro://') |