changeset 11057 | 0b59724cb3f2 |
parent 11052 | 058bb3dc685f |
child 11058 | 23eb30449fe5 |
11052:058bb3dc685f | 11057:0b59724cb3f2 |
---|---|
1 import ConfigParser |
|
2 try: |
|
3 undo_actions = config.cfgfile_parser.get('MAIN', 'undo-support', False) |
|
4 except ConfigParser.NoOptionError: |
|
5 pass # this conf. file was probably already migrated |
|
6 else: |
|
7 config.global_set_option('undo-enabled', bool(undo_actions)) |