equal
deleted
inserted
replaced
138 {'type' : 'int', |
138 {'type' : 'int', |
139 'default': 3000, |
139 'default': 3000, |
140 'help': 'size of the parsed rql cache size.', |
140 'help': 'size of the parsed rql cache size.', |
141 'group': 'main', 'level': 3, |
141 'group': 'main', 'level': 3, |
142 }), |
142 }), |
143 ('undo-support', |
143 ('undo-enabled', |
144 {'type' : 'yn', 'default': False, |
144 {'type' : 'yn', 'default': False, |
145 'help': 'enable undo support', |
145 'help': 'enable undo support', |
146 'group': 'main', 'level': 3, |
146 'group': 'main', 'level': 3, |
147 }), |
147 }), |
148 ('keep-transaction-lifetime', |
148 ('keep-transaction-lifetime', |