changeset 11057 | 0b59724cb3f2 |
parent 8410 | eb6a607a0067 |
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)) |